public static void evaluateNotProposition(Proposition self) {
    { Proposition argument = ((Proposition)((self.arguments.theArray)[0]));

      if (Proposition.trueP(argument) ||
          Proposition.falseP(argument)) {
        Proposition.assignTruthValue(self, TruthValue.invertTruthValue(((TruthValue)(Stella_Object.accessInContext(argument.truthValue, argument.homeContext, false)))));
      }
      if (Proposition.trueP(self) ||
          Proposition.falseP(self)) {
        Proposition.assignTruthValue(argument, TruthValue.invertTruthValue(((TruthValue)(Stella_Object.accessInContext(self.truthValue, self.homeContext, false)))));
      }
    }
  }