Even mechanical computation depends on judgments about what counts as a 'correct application' in con...
This proposition has not been edited since the history system was added.