A criterion that fails to discriminate between truth and non-truth in accessible cases cannot be rel...
This proposition has not been edited since the history system was added.