david lewis causal connectivity as counterfactual dependence
x causes y if, had x not happened, y wouldn’t have happened
rooted in possible worlds logic