(TransactionIdPrecedes, TransactionIdFollows, etc). First step on the way to transaction ID wrap solution ...