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