Addition and commutative property of addition