... is, a biconditional, negation, sufficient/necessity conditions, grouping games, sequencing ... in/out games, necessary assumptions, sufficient assumptions, valid/invalid inferences, universal ... not be impossible. There are always exceptions, of course, though ...