Text this: Labelled Deduction /