 SDL can be strengthened by adding additional axioms; in particular, we might consider adding axioms with nested deontic operators. For example, suppose we added the following formula as an axiom to SDL: