Implemented permutations of commutative law for top level.