 RD is closely related to Anderson’s relevant deontic logic ARD, which is defined as R supplemented with the following two axioms (Anderson 1967, 1968, McArthur 1981; Anderson used the unary connective O instead of !):