様相論理S4.2 - Internet Explorer 2.0