Terms of Naming and Binding+i2