rements</a></li>
    <li style="font-weight: bold;"><a href="metastack.html">metastack</a></li>
    <ul>
      <li style="font-weight: bold;"><a
 href="cantors-diagonal-argument.html">Cantor</a></li>
    </ul>
    <li style="font-weight: bold;"><a href="simplification.html">simplification</a></li>
  </ul>
  <li style="font-weight: bold;"><a href="code.html">code</a></li>
  <ul>
    <li style="font-weight: bold;"><a href="metashell/metashell.html">metashell</a></li>
    <ul>
      <li style="font-weight: bol