Minor rewording of memory model and adds diagram