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