The claim conflates 'practical difficulty in solving' the equation with 'logical independence' from ...
This proposition has not been edited since the history system was added.