The claim assumes 'genuinely distinct validity relation' requires independence from context, but val...
This proposition has not been edited since the history system was added.