Let me guess, you have been playing a crossword game and got stuck on the clue "High-quality proofs, for short". Well, you have come to the right place to find the answer to this clue.