Natural Deduction and the Concept of Proof
(Abstract soon to be announced)