 So, reflecting on the fact that SDL+ is derivable in KTd, we see that the Andersonian-Kangerian reduction must either rely on a non-truth-implicating conception of necessity in order for its pure deontic fragment to match SDL, or SDL itself is not susceptible to the Andersonian-Kangerian reduction. Put another way, the most plausible version of the Andersonian-Kangerian reduction can’t help but view “Standard Deontic Logic” as too weak.