Example: PA1 bound to 4Y9T