(RULES 
a a a -> b a b , 
b a b -> a b a )