New Mexico Tech - Proofs