public static void invertExistsProposition(Proposition self) {
    { Proposition whereproposition = ((Proposition)((self.arguments.theArray)[0]));
      Vector newarguments = Vector.newVector(2);

      self.arguments.free();
      Proposition.normalizeProposition(whereproposition);
      whereproposition = Proposition.safelyInvertProposition(whereproposition);
      self.kind = Logic.KWD_FORALL;
      self.operator = Logic.SGT_LOGIC_FORALL;
      (newarguments.theArray)[0] = Logic.TRUE_PROPOSITION;
      (newarguments.theArray)[1] = whereproposition;
      self.arguments = newarguments;
      Proposition.normalizeProposition(self);
    }
  }