 We routinely talk about both what ought to be and what people ought to do. These hardly look like the same things (for example, the latter notion calls for an agent, the former does not). This issue, and the general issue of representing agency in deontic logic has been much discussed, and continues to be an area of active concern. In the present section we provide an overview of the literature on deontic logics that allow for the expression of agency; in  Section 6.2  we consider a more fundamental revision of SDL in order to accommodate deontic claims about actions.