The commutative, associative and identity properties of addition