!7

concept Truth {
  new MultiMap<S, Lisp> truthMap;
}

p {
  db();
}