JT Proofs