Setup and Rule Diagrams

[Adam Tyson]

You certainly could, pwfquestions, if you prefer that to the not-blocks that we chose for our explanation. One concern I would have, though, is a double-not-arrow in this case might be misinterpreted as you move through the questions. You might later read it as meaning "if F is on one of the teams, then S cannot be on one of the teams," and that's not what it means. But as long as YOU are clear in your mind about what it does, and does not, mean, the choice is up to you. Do what works best for you!