public static boolean sameAndUniqueArgumentsP(Vector variables, Vector arguments) {
    if (Stella_Object.equalP(variables, arguments)) {
      { int count = 0;

        { PatternVariable v = null;
          Vector vector000 = variables;
          int index000 = 0;
          int length000 = vector000.length();

          for (;index000 < length000; index000 = index000 + 1) {
            v = ((PatternVariable)((vector000.theArray)[index000]));
            { PatternVariable v2 = null;
              Vector vector001 = variables;
              int index001 = 0;
              int length001 = vector001.length();

              for (;index001 < length001; index001 = index001 + 1) {
                v2 = ((PatternVariable)((vector001.theArray)[index001]));
                if (v == v2) {
                  count = count + 1;
                }
              }
            }
          }
        }
        return (count == variables.length());
      }
    }
    return (false);
  }