Phillip Krmpotich Proofs