This volume examines the notion of an analytic proof as a natural deduction, suggesting that the proof's value may be understood as its normal form — a concept with significant implications to proof-theoretic semantics.