Leonburg Proofs