Second paragraph starts:

Overriding may be done only by importing the name from a module at compile time--ordinary predeclaration isn't good enough.