- Comment to B.2.5 explains that readability and writeability can change
- C.2.1.2 has more details about writeOrder