Example: TFP bound to 1LIN