Crystal + Mikey E Sess Proofs