 Given these semantic elements, if you apply them carefully to the definitions of the deontic operators of Kd, you will see that in each case, the normative status of \(p\) at \(i\) depends on \(p\)’s relationship to this intersection of the i-accessible worlds and the worlds where all normative demands are met: