Thanks! One more thing, if you have a second. Where might I find the lesson that explains which of the two variables to make as the "not" variable in an In/Out game, where they have a biconditional not-both relationship?

For example, in a game where there are two committees, one of which comprises IN and one which comprises OUT, when the rule is "U serves on a different committee from that on which G serves."

^How would I know which of the two biconditional variables to make as the not-included one? Would it be U (----)/G or would it be /U (----) G ? Which core curriculum lesson explains the approach to this?

That lesson doesn't discuss the rule in application to LG as far as I can tell...

He says at 8:55 in the video that "this is an either/or rule" and then concludes that as a result, at least one of L or M must be "in" and the other is free to float. I'm wondering why that is, and where I can find an explanation in the CC. Why is it the case that L/ > M, when in isolation from the rest of the rules, indicates that at least one must be in. Shouldn't it indicate that at least one must be out?