Text this: Causal Kripke models.