JB Proofs