Possible Answers For: End of a proof, for short