この資料をSMS送信: Possible worlds semantics for indicative and counterfactual conditionals?