I sooo want to wrangle in a joke about minesweeper being coNP-complete, somehow