rules: simplify