From rules to runs: A dynamic epistemic take on imperfect information games.