If `ts2` ≠ `ts3` then it would break on one of the two lines above.