All existential claims reduce to propositions about what satisfies predicates in logical models, not...
This proposition has not been edited since the history system was added.