 To evaluate this counterfactual, we first change the equation for Flame to Flame = 1. Then we change the equation for Gas level to Gas level = 0. Then we change the equation for Flame again, from Flame = 1, to Flame = 2. Finally, we compute that Meat cooked = 2, so the counterfactual comes out false. Unlike the case where Flame = 1 and Flame = 2 are conjoined in the antecedent, the two different assignments for Flame do not generate an impossible antecedent. In this case, the interventions are performed in a specified order: Flame is first set to 1, and then set to 2.