Without a decision procedure for incommensurable cases, the claim lacks practical rational guidance ...
This proposition has not been edited since the history system was added.