Jay-FinalJay-Proofs