 Returning to deontic matters, we can now ask: how do we represent agential obligation? With an agency operator in hand, we might invoke the famous Meinong-Chisholm Reduction: the idea that what Jane ought to do is what it ought to be that she  does.[66]  If we regiment this a bit using our operator for agency, we get the following versions of the “reduction”: