Thomas Handy 130 9 Proofs