sclass Truth {
  new MultiMap<S, Lisp> map;
}