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