Anfonwch hwn fel neges destun: Possible worlds semantics for indicative and counterfactual conditionals?