My statement of it amounts to their Savage style formulation with conjunctions of full patterns of counterfactuals as act independent states; and their discussion of consequences in their Section shows that they join me in regarding these conjunctions as expressing causal dependence or independence.