p p

Op means that it is rejected as a rule. [105]

Moral consistency is reflected in the Deontic Axiom:

DA

p,q (Op & (p

q))