Jocelyn Jeremy Esess Proofs