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