 So in Kd, \(p\) is obligatory if \(p\) is necessitated by all normative demands being met, permissible if \(p\) is compatible with all normative demands being met, impermissible if \(p\) is incompatible with all normative demands, etc. Since none of the operators of the Traditional Scheme are taken as primitive, and the basic logic is a modal logic with necessity and possibility as the primitive modal operators, this is referred to as “a reduction” (of deontic logic to modal logic)