... #help.
In 17.01.G4, the rule ... the same team as K," translates as a forever ... J ↔ K. Similarly, the second rule, "K is not on ... a forever apart biconditional, K ↔ /N. In his explanation (see ... couldn't be a biconditional in both game types.
...