 In particular, the scheme of Universal Instantiation is CD-valid:  \(\models_{\mathrm{CD}} \forall x \varphi(x) \to \varphi(\tau)\), for any term \(\tau\) free for substitution for \(x\) in \(\varphi\).