... nor" in rule 3 is interpreted as not both, as in S -> ... biconditional? S /Y as in S and Y are ... because unlike the in-out games, a biconditional in this a grouping ... for example, Y is not in 1,then S must be ... if this game was an in/out game, could I still ...