public static void excludeOriginatedPropositions() {
    { NamedDescription d = null;
      Iterator iter000 = Logic.allNamedDescriptions(null, false);

      while (iter000.nextP()) {
        d = ((NamedDescription)(iter000.value));
        { Proposition prop = null;
          Cons iter001 = Logic.originatedPropositions(d).theConsList;

          for (;!(iter001 == Stella.NIL); iter001 = iter001.rest) {
            prop = ((Proposition)(iter001.value));
            ((HashTable)(Logic.$EXCLUDEDPROPOSITIONS$.get())).insertAt(prop, Stella.TRUE_WRAPPER);
          }
        }
      }
    }
    { Proposition p = null;
      Iterator iter002 = Logic.locallyConceivedPropositions(((Module)(Stella.$MODULE$.get()))).allocateIterator();

      while (iter002.nextP()) {
        p = ((Proposition)(iter002.value));
        if (Logic.objectSurrogate(p) != null) {
          { Proposition prop = null;
            Cons iter003 = Logic.originatedPropositions(p).theConsList;

            for (;!(iter003 == Stella.NIL); iter003 = iter003.rest) {
              prop = ((Proposition)(iter003.value));
              ((HashTable)(Logic.$EXCLUDEDPROPOSITIONS$.get())).insertAt(prop, Stella.TRUE_WRAPPER);
            }
          }
        }
      }
    }
  }