様相論理S4.1 - Internet Explorer 2.0