Commutative variables implemented