The claim assumes 'formal continuity' solves the problem, but leaves unspecified how formal aspects ...
This proposition has not been edited since the history system was added.