The terminal state preserves predecessor differentiation solely within the null set whose existence the state must deny to assert its own invariance.