incommutability

not defined yet