様相論理を知りたいのか、単に荒らしなのか
分かりにくいなあ