static boolean hasTransitive(MultiMap<S, S> map, S e, S f) {
  ret makeHull(map, e).contains(f);
}