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