simplify some rules