Troy Proofs