 According to Goldman, given options (1)–(4), Jones should obviously perform (1). Moreover, notice that if Jones were to perform (1), then the following synchronic counterfactual that is in fact true in Traffic 2 would be false instead: “if Jones were to ⟨not accelerate⟩ at t, then at t Jones would ⟨change lanes⟩”. So, given the intuition that Jones is obligated to perform (1) and that doing so would alter the truth-value of certain synchronic counterfactuals, we should not hold fixed the truth-value of such synchronic counterfactuals when theorizing about an agent’s obligation to perform some immediate fully specific simultaneous act-set. To accommodate this judgment, Goldman’s (1978) revised view incorporates a control condition over the truth-value of such synchronic counterfactuals.