Andrew Kopec Proofs