Natural Deduction - heftet, Engelsk, 2006