let is_top_mark = MarkPair.is_top