public static void dbRelationGoesFalse(Proposition proposition) {
    Stella.STANDARD_WARNING.nativeStream.println("Warning: RDBMS: DB relations can't be made false.  Making `" + proposition + "' unknown instead.");
    RDBMS.dbRelationGoesUnknown(proposition);
  }