Denisse + Ed E Sess Proofs