Moved the GUI end of proof code to later in the process.