Consolidated the quantifier rule.