one of the (unqualified) subordinate names <span 
class="cmmi-10">f</span><sub><span 
class="cmmi-7">i</span></sub> is legal if
     and only if (a) it names a class method of <span 
class="cmmi-10">C</span>, and (b) the class method is in scope in the module body regardless
     of whether it is in scope under a qualified or unqualified name.
     </li>
     <li 
  class="enumerate" id="x11-100016x5">The form &#8220;<span 
class="pcrr7t-">module</span><span 
class="pcrr7t-">&#x00A0;M</span>&#8221; names th