What Are Proofs and What To Do With Them 📖