public static void reviseEquivalences(Proposition proposition, boolean goestrueP) {
    { LogicObject arg1 = ((LogicObject)((proposition.arguments.theArray)[0]));
      LogicObject arg2 = ((LogicObject)((proposition.arguments.theArray)[1]));

      if (!Logic.$EQUIVALENCE_COLLECTIONSp$) {
        return;
      }
      if (goestrueP) {
        if (LogicObject.collectionImpliesCollectionP(arg1, arg2) &&
            LogicObject.collectionImpliesCollectionP(arg2, arg1)) {
          LogicObject.equivalenceCollections(arg1, arg2);
        }
      }
      else if ((((Description)(Stella_Object.accessInContext(KeyValueList.dynamicSlotValue(arg1.dynamicSlots, Logic.SYM_LOGIC_EQUIVALENT_VALUE, null), arg1.homeContext, false))) != null) ||
          (((Description)(Stella_Object.accessInContext(KeyValueList.dynamicSlotValue(arg2.dynamicSlots, Logic.SYM_LOGIC_EQUIVALENT_VALUE, null), arg2.homeContext, false))) != null)) {
        {
          System.out.println("DIDN'T FINISH 'revise-equivalences' YET. DON'T KNOW HOW");
          System.out.println("   TO REMOVE AN 'equivalent-value' LINK");
        }
;
      }
      else if ((Stella_Object.isaP(arg1, Logic.SGT_LOGIC_SKOLEM) &&
          (((Stella_Object)(Stella_Object.accessInContext(((Skolem)(arg1)).variableValue, ((Skolem)(arg1)).homeContext, false))) != null)) ||
          (Stella_Object.isaP(arg2, Logic.SGT_LOGIC_SKOLEM) &&
           (((Stella_Object)(Stella_Object.accessInContext(((Skolem)(arg2)).variableValue, ((Skolem)(arg2)).homeContext, false))) != null))) {
        {
          System.out.println("DIDN'T FINISH 'revise-equivalences' YET. DON'T KNOW HOW");
          System.out.println("   TO REMOVE AN 'equivalent-value' LINK");
        }
;
      }
    }
  }