theorem
  X misses {};
