main</a></code> or
                <code class="computeroutput"><a class="link" href="basic_default_domain.html" title="Struct basic_default_domain">proto::basic_default_domain</a></code>.
              </li>
<li class="listitem">
                Define a set <span class="emphasis"><em>P</em></span> that is the union of
                <span class="emphasis"><em>I<sub>S</sub></em></span> and
                <span class="emphasis"><em>I<sub>W</sub></em></span>.
              </li>
<li class="listitem">
     