 The only deontic element in the syntax of Kd is our distinguished constant, \(d\), intended to express the fact that all normative demands are met\(.\) To model that feature, we simply assume that the worlds are divided into those where all normative demands are met and those that are not. We denote the former subset of worlds by “DEM” in a model. Then \(d\) is true at a world \(j\) iff \(j\) belongs to DEM. Here is a picture where \(d\) is true at an arbitrary world, \(j\):