I just want to make sure I’m thinking about this right. I did a game where one rule said if H is in, G is not. And another rule said if J is not in, S is in. So when diagramming, if the slash is through the right variable (necessary condition) it’s always ...