Requiring perfectly fixed domains for all predicates sets an impossible standard most of language wo...
This proposition has not been edited since the history system was added.