Saturation holds in some models but fails in others, making it model-dependent rather than universal...
This proposition has not been edited since the history system was added.