[sv-ac] [sv=ac] 23.2.4, 23.11 Binding a checker to an interface // contradictory??

 Question: Can I bind a checker to an interface?
Section 23.2.4 seems to say *NO* because if the target scope is an
interface, then the bind instantiation shall be an interface identifier.
But
23.11 says *YES*
Am I reading this wrong?
I understood that you can bind a checker to an interface.
Ben
---------
23.2.4 Module contents
*4) If the bind_target_scope is an interface_identifier or the
bind_target_instance is an interface_instance_identifier,*
*then the bind_instantiation shall be an interface_instantiation.*
Syntax 23-5—Module item syntax (excerpt from Annex A)

23.11 Binding auxiliary code to scopes or instances
bind_directive4 ::= // from A.1.4
  bind bind_target_scope [: bind_target_instance_list] bind_instantiation ;
  | bind bind_target_instance bind_instantiation ;
bind_target_scope ::=
  module_identifier
  *| interface_identifie*r
bind_target_instance ::=
  hierarchical_identifier constant_bit_select
bind_target_instance_list ::=
   bind_target_instance { , bind_target_instance }
bind_instantiation ::=
  program_instantiation
  | module_instantiation
  | interface_instantiation
  *| checker_instantiation*

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.