logical quantification stating that a statement holds for exactly one object
Nothing in the MetaHistoryBook collection references this item yet.