asserting increasing IDS for both sides
asserting increasing IDS for both sides
optional zipper might be null