Ah, thank you. What would be the convention to end/exit the program? After someone has won, it may be reasonable to quit the game.