Things Just Make More Sense When You Add Proof