Augmented Deontic Logic (The Double Obligation Axiom)