Possible Answers For: Proofer's notation remark