updates to memory model manuscript.