Return to PROOFPROMenu