... ," translates as a forever together biconditional, where J ↔ K. Similarly, ... ," translates as a forever apart biconditional, K ↔ /N. In his ... would not translate as a biconditional if there were multiple ... it couldn't be a biconditional in both game types.< ...