 Mally’s deontic logic and lax logic arose from quite different considerations. It is therefore remarkable that the intuitionistic reformulation of Mally’s logic that we have discussed is identical with lax logic PLL* plus (34).