... a result, the suggested translation rule in lawgic that we pick ... would choose "No" as the rule to apply (negate necessary) and ... instinctively apply the group 4 rule to the already negated element ... apply the group 3 indicator rule (negate sufficient) and treat ...