Sketched proof meant to be analogous to early "simple" case.

This approach is not going to work however. Something that more
explicitly links to the graph of reads and writes is going to be
necessary I think.