Extensions are simply sets of concrete or abstract objects; invoking them involves no intensional ma...
This proposition has not been edited since the history system was added.