thim jonathan esess proofs