public static boolean topLevelExistsPropositionP(Proposition proposition) {
    return ((!Proposition.unknownP(proposition)) &&
        Proposition.helpCollectSkolemizedExistsVariablesP(proposition, null));
  }