first implementation of Tools::gameOver()