uncommutativeness
not defined yet