Example: RB6 bound to 4DKI