commutatively

not defined yet