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