Possible Answers For: Abbr. in a proof