 Essentially, the ordering relation coupled with the limit assumption just gives us a way to generate the set of \(i\)-acceptable worlds instead of taking them as primitive in the semantics: \(j\) is \(i\)-acceptable iff \(j\) is \(i\)-best. Once generated, we look only at what is going on in the \(i\)-acceptable (as \(i\)-best) worlds to interpret the truth-conditions for the deontic operators, just as with our simpler Kripke-Style semantics. The analogue to the seriality of our earlier \(i\)-acceptability relation is also assured by the Limit Assumption, since it entails that for each world \(i\), there is always some \(i\)-best (so \(i\)-acceptable) world. Although this ordering semantics approach appears to be a bit of overkill here, as we shall see in  Section 4  and  Section 5,  it became quite important later on in the endeavor to develop expressively richer deontic logics. For now, we turn to the second-most well-known approach to monadic deontic logic, one in which SDL emerges derivatively.