 Here, (2′) would, e.g., express that Jane Doe is positively obligated to not bring it about that \(p\); note that this need not preclude that some other agent can still bring it about that \(p\), or that \(p\) is in itself obligatory. Note also that (2′) is distinct from (5′), which merely expresses that it is not required of Jane Doe that she lights the candle. That is, Jane’s lighting the candle would be a violation of (2), but not of (5). (3) is, on most accounts of agency and obligation, strictly stronger than (2): (3) implies not only that Jane should not light the candle, but that she should bring it about that no one else lights the candle either (e.g., by keeping it in some locked box).