Attainability and robust propagation

This does not assert the existence of an event pair on every boundary ray. Closure alone does not supply protocols. For example, the displacement relation

is a cone order but attains no nonzero displacement on $\partial L_m$.

There is also an important distinction between null propagation and indivisibility.