Starting natural deduction