MVCC from first principles