Proof Meets Truth