I see, that is a tricky case. When serializability would have required a transaction order that is different from commit order for two transactions, inserting a

I see, that is a tricky case. When serializability would have required a transaction order that is different from commit order for two transactions, inserting a third snapshot-isolated read in between can violate the (logical) reordering of the write transactions needed to justify serializability.