public static Vector collectSkolemizedExistsVariables(Proposition proposition) {
    { List skolems = List.newList();
      Vector result = null;

      Proposition.helpCollectSkolemizedExistsVariablesP(proposition, skolems);
      if (skolems.emptyP()) {
        result = Logic.ZERO_VARIABLES_VECTOR;
      }
      else {
        result = Vector.newVector(skolems.length());
      }
      { Skolem skolem = null;
        Cons iter000 = skolems.theConsList;
        int i = Stella.NULL_INTEGER;
        int iter001 = 0;

        for (;!(iter000 == Stella.NIL); iter000 = iter000.rest, iter001 = iter001 + 1) {
          skolem = ((Skolem)(iter000.value));
          i = iter001;
          (result.theArray)[i] = skolem;
        }
      }
      skolems.free();
      return (result);
    }
  }