... or Ghosts are in the house, then Tim and John are not ... then John is not there.
- Contrapositive: T or J --> ... , then Ghosts are not in the house. ... team if John or Bill, but not both, play on ... understand that John or Bill, but not both will be diagrammed ...