public static void normalizeEquivalentProposition(Proposition self) {
    { Stella_Object firstarg = (self.arguments.theArray)[0];
      Stella_Object secondarg = (self.arguments.theArray)[1];

      if (Stella_Object.eqlP(firstarg, secondarg)) {
        Proposition.overlayWithConstantProposition(self, Logic.TRUE_PROPOSITION);
      }
      else if (Logic.skolemP(firstarg) ||
          (Logic.skolemP(secondarg) ||
           (Logic.collectionP(firstarg) ||
            Logic.collectionP(secondarg)))) {
      }
      else {
        Proposition.overlayWithConstantProposition(self, Logic.FALSE_PROPOSITION);
      }
    }
  }