Normality, Non-contamination and Logical Depth in Classical Natural Deduction