Justifying the Commutative Property of Addition