static <A> void removeAllBut(Set<A> a, Collection<A> b) {
  for (A x : b) a.remove(x);
}