fixed commutativity rule