 How may the conditional \(\gg\) be used to analyse causation? Suppose the antecedent \(C\) designates a presumed cause and the consequent \(E\) a putative effect. It is first required by Andreas and Günther (2020) that we can infer \(E\) from \(C\) in a forward-directed manner. That is, there is an inferential path between \(C\) and \(E\) such that, for every inferential step, whenever we infer the occurrence of an event, no premise asserts the occurrence of an event that is temporally later than the inferred event. This condition is a refined and slightly modified variant of Hume’s requirement according to which a cause always precedes its effect.