add commutative example