public static void invertForallProposition(Proposition self) {
    { Proposition antecedent = ((Proposition)((self.arguments.theArray)[0]));
      Proposition consequent = ((Proposition)((self.arguments.theArray)[1]));
      Vector newarguments = Vector.newVector(1);

      self.arguments.free();
      Proposition.normalizeProposition(antecedent);
      Proposition.normalizeProposition(consequent);
      consequent = Proposition.safelyInvertProposition(consequent);
      self.kind = Logic.KWD_EXISTS;
      self.operator = Logic.SGT_LOGIC_EXISTS;
      (newarguments.theArray)[0] = (Proposition.conjoinTwoPropositions(antecedent, consequent));
      self.arguments = newarguments;
      Proposition.normalizeProposition(self);
    }
  }