Labelled Deduction - inbunden, Engelska, 2000