 Spohn develops the ranking-theoretic analysis in two steps. First, he explains what it is for a proposition to be a reason for another proposition. Second, causal relations are characterized as specific types of reason relations. Let us go a bit further into details. As regards notation, we follow Spohn (2006). The notation in Spohn (2012) is more refined, but slightly more complex as well.