Hello all. This is from the trees game in prep test B. When applying the rules for embedded conditionals from the core curriculum, I come up with the following:

/Y → (L↔/O) = /Y and L ↔/O This could also be read as: /Y and O ↔/L

Contrapositive: O↔/L or Y Is this correct? It doesn't seem to make sense in the context of the game.

However, in the explanation of the game, the contrapositive is treated as a forever together biconditional

(L ↔ O) → Y or (/L↔/O) → Y

What am I missing here?

Admin Note: https://classic.7sage.com/lsat_explanations/lsat-b-section-2-game-2/