Parkhurst: Proofs

Parkhurst: Selects