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