What counts as 'the same problem' is partly determined by our practical interests and choice of repr...
This proposition has not been edited since the history system was added.