fix commutative example