quantified rules can't mix & match