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