Return to proof