static <A> bool setAdd_remove(Collection<A> c, Collection<A> d, A a) {
  d.remove(a);
  if (c.contains(a)) ret false;
  c.add(a);
  ret true;
}