Proofs: The Truth Machine