If a property is conceptually coherent (God's omnipotence), S5 guarantees it holds in some possible ...
This proposition has not been edited since the history system was added.