... original conditional statement and its contrapositive have logically ... is the sufficient condition and the latter is the necessary condition). ...
the first two rules (both of which refer to 'J ... simultaneously be in both groups, and they cannot be ... 'J', not both.