Quantification and predication are logically distinct: 'Q holds of c' doesn't entail 'there exists a...
This proposition has not been edited since the history system was added.