Jack's FinalJack's Proofs