A program to test if a Natural Deduction-proof is sound