Terms of Naming and Binding+i3