@Jonathan Wang, My bad. It is not a biconditional.
But, they cannot be in the same group right from my proof ?
Please look at the diagram here which says "Let’s start with the first constraint"
https://www.manhattanprep.com/lsat/forums/diagram-t2…
https://www.lsac.org/lsat/taking-lsat/about-digital-lsat
Can you go back and forth within a section and flag stuff ?
What is highlighting do ?
How big is the desk ?
Do you still get scrap paper ?