 If we perform the first intervention, we compute that Meat cooked = 1, so the consequent is true. However, if we perform the second intervention, we compute that Meat cooked = 0. Hence the counterfactual comes out false. Some negations are treated as disjunctions for this purpose. For example, \({\sim}(\textit{Flame} = 1)\) would be treated in the same way as the disjunction