End of game is defined