Example: TA1 bound to 1JFF