public static boolean duplicateAndOrArgumentsP(Proposition prop1, Proposition prop2) {
    return (Proposition.equivalentPropositionsP(prop1, prop2, null) &&
        (!(Proposition.searchControlPropositionP(prop1) ||
        Proposition.searchControlPropositionP(prop2))));
  }