Explanation of commutative, associative and distributive laws.