Major Section: PROOF-CHECKER-COMMANDS
Example and General Form: print-main
Prints the goal as originally entered.
