 Some important non-validities include:  \(\not\models_{\mathrm{CD}} \forall x F \varphi(x) \to F \forall x \varphi(x)\)  and  \(\not \models_{\mathrm{CD}} G \exists x \varphi(x) \to \exists x G \varphi(x)\).