Cynthia + Gary E sess proofs