With the changed (simpler) semantics, I wonder if those two sections can be merged into one simpler explanation.