Some relational properties may be necessary despite counterfactual independence—e.g., being a number...
This proposition has not been edited since the history system was added.