Labelled Deduction - sidottu, Englanti, 2000