Logical Necessity and S5 newer yet.pdf