Proof vs. DocVerify