notes on natural deduction added