Nolan Tiech Proofs