How To Do Natural Deduction