A reality predicate merely relocates the problem: we still need to explain what grounds differential...
This proposition has not been edited since the history system was added.