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