public static Proposition retractIsaProposition(Stella_Object self, Surrogate type) {
    if (type != null) {
      return (Logic.updateIsaProposition(self, type, Logic.KWD_RETRACT_TRUE));
    }
    else {
      return (null);
    }
  }