The Structural Model of Halpern and Pearl^[HP1,HP2] is a mathematically formal account of the context in which a phenomenon occurs and the variables that pertain to it. Structural equations are used to model the influences among the variables' values, and a set of axioms is used to determine precisely when a causal relation obtains.