Possible Answers For: Proofer's notation