The Proof Is in the Process 🚤