Paulson Cory nb Proofs

Paulson Cory nb Proofs