Saving the Proof Background