Advances in Natural Deduction