The Dungeon should solve the NIL problem