Transaction isolation, implemented and convicted. An MVCC engine with four isolation levels including Cahill's SSI, and a dependency-graph checker that finds G0, G1a, G1b, G1c, G-single and G2-item in observed histories.