Many uncontroversial existents (properties, numbers, abstract objects) may not appear as bound varia...
This proposition has not been edited since the history system was added.