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