S5 modal semantics treats possible worlds as equally accessible, making metaphysical necessity ident...
This proposition has not been edited since the history system was added.