... wondering why "neither nor" in rule 3 is interpreted as ... not both, as in S -> /Y , and ... biconditional? S /Y as in S and Y are always ... because unlike the in-out games, a biconditional in this a ... Y is not in 1,then S must be 1? (which would ...