Ana + Gordon E Sess Proofs