Hoa + Eljan E Sess Proofs