David Ferrucci - The Nature of Proof and Reasoning (via searchlore.ai)