D.4 - Commutative, Associative, Distributive