> Just to double check, there is also a ->po relation between R*[once] and > W*[once], right? That's right. rmw = rmw & po I could add a note about that, but I would stick with the current patch /version (and your Reviewed-by:) unless other requests. Andrea
