Intensional criteria (deriving from specific proof rules) add nothing beyond extensional adequacy if...
This proposition has not been edited since the history system was added.