Possible Answers For: Abbr. at the end of a proof