Proof in Data