Basic implementation of commutative law.