[BONUS] Patrick Leder on How to Know When a Game Is Done