对齐，不等于配对

创建与合并，各有一只时钟。新提案与合并记录的总数即使相等，也只是两列对齐的输出；对齐不是配对。旧提案可以在此刻合并，新提案也可以继续等待。

这也是集合比算术更有用的地方。先按对象身份做交集，再谈哪些问题走完了过程。一个整齐的总数很适合画图；一张保留身份的表，才适合回答“后来怎样了”。