Genuine paraphrase (T*) can eliminate costs by showing formerly necessary entities are definable fro...
This proposition has not been edited since the history system was added.