01 Terry Moore proofs