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