Possible Answers For: High-quality proofs, for short