a(*id, *other_id)
b(*id, *other_id)

a id -> other_id
b id -> other_id

a other_id <= b id
b other_id <= a id
