 A strict omission (refraining) is now a formula of the form \(\RF p\) (i.e., \(\BA \neg \BA p)\). “\(\neg \BA p\)” is just a non-action. Strict deontic omissions are deontic operators immediately followed by strict omissions. Note that if we substitute “\(\BA p\)” for “\(p\)” in the equivalences associated with the Traditional Definitional Scheme, we obtain formulas that violate SDCT. For instance, the first schema would yield