Commutative, Associative and Distributive Laws