A simple natural deduction system