public static boolean nullInstancePropositionsExistP() {
    { BacklinksIndex index = Logic.getBacklinksIndex(Logic.getNullInstance());

      return ((index.predicatePropositionsTable != null) ||
          (!index.dependentPropositionsList.emptyP()));
    }
  }