• If n is even, there are no sets S left at this stage.
• If n is odd, the way to pair the remaining sets is by dropping the middle number, (n+1)/2.
  The set {(n+1)/2} would be paired to the empty set, which is not in X!