 Second, if Mally’s deontic principles are added to a system in which the so-called law of the excluded middle is avoided, the unacceptable consequence A ↔ !A is no longer derivable, but almost all theorems that Mally derived himself are still derivable (section 9). 