Is that necessary? If `ts1` is `ts2` and `ts1` is `ts3` then `ts2` is `ts3`.