public static void dbRelationUpdateDemon(Proposition proposition, Keyword updateMode) {
    if ((updateMode == RDBMS.KWD_ASSERT_TRUE) ||
        (updateMode == RDBMS.KWD_PRESUME_TRUE)) {
      RDBMS.dbRelationGoesTrue(proposition);
      Proposition.destroyRedundantProposition(proposition);
    }
    else if (updateMode == RDBMS.KWD_RETRACT_TRUE) {
      RDBMS.dbRelationGoesUnknown(proposition);
      Proposition.destroyRedundantProposition(proposition);
    }
    else if (updateMode == RDBMS.KWD_RETRACT_FALSE) {
      Stella.STANDARD_WARNING.nativeStream.println("Warning: RDBMS: DB relations can't be false.");
      RDBMS.dbRelationGoesUnknown(proposition);
      Proposition.destroyRedundantProposition(proposition);
    }
    else if ((updateMode == RDBMS.KWD_ASSERT_FALSE) ||
        (updateMode == RDBMS.KWD_PRESUME_FALSE)) {
      RDBMS.dbRelationGoesFalse(proposition);
      Proposition.destroyRedundantProposition(proposition);
    }
    else if (updateMode == RDBMS.KWD_CONCEIVE) {
    }
    else {
      { OutputStringStream stream000 = OutputStringStream.newOutputStringStream();

        stream000.nativeStream.print("`" + updateMode + "' is not a valid case option");
        throw ((StellaException)(StellaException.newStellaException(stream000.theStringReader()).fillInStackTrace()));
      }
    }
  }