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