https://9lib.org/document/eqop22kz-logics-impossibility-negation-regular-extensions-deontic-logic-d.html