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