simplifying rule 2