Fictional names like 'Romeo' lack referents in actual reality, so instantiating quantified formulas ...
This proposition has not been edited since the history system was added.