Make Proof Serve the Plot