Proof, Release, and Return