Commutative case updated
Toy examples renamed