Assertion holds if the numbering in the two columns is the same.