That would require multiplication to be non-commutative, right?