scope MinedExposedDisjoint {
  modules Board, ExposedList;
  exports Board;

  invariant Board.gameOver | 
        disjoint(Board.MinedCells, ExposedList.Content);
}