Seol mar théacs é seo: Possible worlds semantics for indicative and counterfactual conditionals?