Terms of Naming and Binding+i4