Labelled Deduction - innbundet, Engelsk, 2000