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