 To evaluate the counterfactual \({\textit{Flame} = 1} \boxright {\textit{Meat cooked} = 1}\) (if the flame had been set to low, the meat would have been cooked rare), we replace the equation for Flame with the assignment Flame = 1. We can then compute that Meat cooked = 1; the counterfactual is true. If the antecedent is a conjunction of atomic propositions, such as Flame = 1 and Igniter = 0, we replace all of the relevant equations. A special case occurs when the antecedent conjoins atomic propositions that assign different values to the same variable, such as Flame = 1 and Flame = 2. In this case, the antecedent is a contradiction, and the counterfactual is considered trivially true.