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