The commutative property of addition