Tracking Reason: Proof, Consequence, and Truth