[maxerickson]

The steps ought to be a bridge to understanding the arithmetic as an abstraction.

Teaching and requiring that a commutative operation be ordered doesn't seem like it is going to contribute to that.