static O withDBLock(O r) {
  mainConcepts.lock.lock();
  try {
    ret callF(r);
  } finally {
    mainConcepts.lock.unlock();
  }
}