All methods in GameState are now synchronized.