Added some clarifying lines to the commutativity of addition and distributivity