Title: The Nature of Proof