Java Memory Model: a JLS statement about sequential consistency seems incorrect

Question

I\'m reading Chapter 17. Threads and Locks of JLS and the following statement about sequential consistency in Java seems incorrect to me:

If a program ha