 Kd is just the normal modal logic K with \(\Diamond d\)  added.[34]  \(\Diamond d\) is interpreted as telling us that it is possible that all normative demands are met. In import when added to system K, it is similar to (though stronger than) the “No Conflicts” axiom of SDL. All of the Traditional Scheme’s deontic operators are easily defined derivatively once we provide “the reductive clause” for \(\OB\):