Chris summer proofs-37