Example: TE4 bound to 4OMW