Grounding model-independent claims requires invariant structure across all models; if subset relatio...
This proposition has not been edited since the history system was added.