If a property is possibly exemplified, S5 modal logic entails it's actually exemplified in at least ...
This proposition has not been edited since the history system was added.