Example: TTC bound to 1K4T