3 ms·Good point. I would argue, however, that having nicer proofs is a "useful" result of the game.by karmakurtisaani 1y agoGood point. I would argue, however, that having nicer proofs is a "useful" result of the game.