 This is sometimes taken to be a reduction of personal, agentive obligation to impersonal obligation on the one hand, and (mere) agency on the other. In terms of modal operators, it is a reduction of “ought to do” to “ought to be” and “brings it about  that”.[67]  Although not uncontested (cf. Section 5.2.4 below), by relying on this analysis we can make many fine distinctions. Suppose, for instance, that “Jane Doe lights the candle” is equivalent to “Jane Doe sees to it that the candle is lit”, and let “the candle is lit” be represented by p. Then we can distinguish the following claims, while keeping track of their formal interrelations: