 First, if Mally’s deontic principles are added to a system in which the so-called paradoxes of material and strict implication are avoided, many of the “surprising” theorems (such as (34) and (35)) are no longer derivable and A ↔ !A is no longer derivable either (section 8). 