Tom Proofs