Cortlen + Axton Proofs