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