static void dbSaveEvery(double seconds) {
  mainConcepts.autoSaveInterval = toMS_int(seconds);
}