commutability

not defined yet