 If one agrees that norm-propositions are distinct from norms, one may insist that the realm of deontic logic is limited to norm-propositions, perhaps interpreted with a standard semantics in terms of truth at possible worlds. Where some normative system, \(n\), is the basis in some state, \(w\), for a set of normative propositions, one could just say that \(\OB p\) is true at a state, \(w\), in virtue of the fact that according to the norms in \(n\) that apply in \(w\), \(p\) is required. However, this still leaves a Jörgensenian gap: it remains unclear what it means that a set of norms requires a certain state of affairs (given the way the world currently is). Isn’t there still a need for a framework to model systems of norms, their possible structural features, and how they generate normative propositions? If a normative system \(n\) requires \(p\) and \(n\) also requires \(q\), how does it do so, and does it then also require \((p \amp q)\), and if so, in virtue of what features of  \(n\)?[80]