Example: TAC bound to 2HCJ