public static void writeTheorySection(org.powerloom.PrintableStringWriter stream) {
    stream.print("<b>" + OntosaurusUtil.lookupTerm(OntosaurusUtil.KWD_CONTEXT, true, false) + ":</b>&nbsp;");
    stream.println("<SELECT NAME=\"theory\" onChange='document.cookie=\"theory=\" + this[this.selectedIndex].value + \";\";'>");
    { StringWrapper c = null;
      Cons iter000 = OntosaurusUtil.sortedContexts();

      for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
        c = ((StringWrapper)(iter000.value));
        stream.println("<option VALUE='" + c.wrapperValue + "'>" + c.wrapperValue + "</option>");
      }
    }
    stream.println("</SELECT>");
    return;
  }