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