Stop Assuming Commutativity!

On redundant axioms such as commutativity.

Advertisements