JD Proofs