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