Possibility-elimination in natural deduction