Example: TE4 bound to 4Y0P