Correct commutative law