let empty = {
  find = Map.empty;
  inv = Map.empty;
  use = Use.empty
}