Update gameLogic.v