menu
Game End Rules about the end of the game as well as tie breakers in case of a tie.