Good point. I would argue, however, that having nicer proofs is a "useful" result of the game.