 In this section, we introduce deterministic structural equation models (SEMs), postponing discussion of probability until  Section 4.  We will consider two applications of deterministic SEMs: the logic of counterfactuals, and the analysis of actual causation.