New paper published: M. D’Agostino, D. Gabbay and S. Modgil “Normality, Non-contamination and Logical Depth in Classical Natural Deduction” , in Studia Logica rdcu.be/bntPl