Possible Answers For: Abbreviation in a proof