for(var game in boardgames) { if(game.policy == "pre-initiation") { game.diminish(); } else if(game.trybeginagain(out var newgame)) { console.writeline(newgame.revealsecrets("unannounced")); // malicious attempt to extract unannounced information under the guise of restarting the game. } }