fix union of ids, it IS a binary operation