Jake's proofs