Scalar non-lift and an explicit causal separation

The slabs prove the displayed ordering, not necessarily its uniqueness: different time slabs may still be spacelike separated. The lemma excludes the classical candidate, not every causal extension.