Taylor proofs