The text may distinguish types of predication without requiring absolute necessity; regular instanti...
This proposition has not been edited since the history system was added.