] = \sup_{i\in {\mathcal{I}}}{\mathbb{E}}_{\tilde{M}(i)}\big[(Y-
f_{\eta_0}(X;\tilde{\theta})
)^2\big] = {\mathbb{E}}_{M}[\xi^2_Y],\end{aligned}$$ where we used that $\xi_Y$ is unaffected by an intervention on $X$. By the support restriction ${\mathrm{supp}}^M(X) \subseteq (a,b)$ we know that $$\begin{aligned}
f_{\eta_0}(x;\theta^0)=B(x)^\top \theta^0, \quad 
f_{\eta_0}(x;\tilde \theta)=B(x)^\top \tilde \theta,  \quad 
f_{\eta_0}(x;\hat \theta_{\lambda^\star_n,\eta_0,\mu}^n)=B(x)^\top  \hat \theta_{\lambda^\star_n,\eta_0,\mu}^n,\end{aligned}$$ for all $x\in {\mathrm{supp}}^M(X)$. Furthermore, as $Y=B(X)^\top \theta^0+\xi_Y$ $\bP_{M}$-almost surely, we have that $$\begin{aligned}
 \label{eq:ExpansionOfECY_0}
{\mathbb{E}}_M\left[ C(A) Y \right] = {\mathbb{E}}_M\left[ C(A) B(X)^\top \theta^0\right] + {\mathbb{E}}_M\left[C(A) \xi_Y \right] = {\mathbb{E}}_M\left[ C(A) B(X)^\top \right]\theta^0,\end{aligned}$$ where we used the assumptions that ${\mathbb{E}}\left[ \xi_Y \right] =0$ and $A {\perp \!\!\! \perp}\xi_Y$ by the exogeneity of $A$. Similarly, $$\begin{aligned}
 {\mathbb{E}}_{\tilde M}\left[ C(A) Y \right] = {\mathbb{E}}_{\tilde M}\left[ C(A) B(X)^\top \right]\tilde\theta.\end{aligned}$$ As $\bP_M = \bP_{\tilde M}$, it holds $
{\mathbb{E}}_M[ C(A) Y ]
] = \sup_{i\in { \mathcal{I}}}{\mathbb{E}}_{\tilde{M}(i)}\big[(Y- 
 f_{\eta_0}(X;\tilde{\theta }) 
) ^2\big ] = { \mathbb{E}}_{M}[\xi^2_Y],\end{aligned}$$ where we used that $ \xi_Y$ is unaffected by an intervention on $ X$. By the support limitation $ { \mathrm{supp}}^M(X) \subseteq (a, b)$ we acknowledge that $ $ \begin{aligned } 
 f_{\eta_0}(x;\theta^0)=B(x)^\top \theta^0, \quad 
 f_{\eta_0}(x;\tilde \theta)=B(x)^\top \tilde \theta,   \quad 
 f_{\eta_0}(x;\hat \theta_{\lambda^\star_n,\eta_0,\mu}^n)=B(x)^\top   \hat \theta_{\lambda^\star_n,\eta_0,\mu}^n,\end{aligned}$$ for all $ x\in { \mathrm{supp}}^M(X)$. Furthermore, as $ Y = B(X)^\top \theta^0+\xi_Y$ $ \bP_{M}$-almost surely, we have that $ $ \begin{aligned } 
  \label{eq: ExpansionOfECY_0 } 
 { \mathbb{E}}_M\left [ C(A) Y \right ] = { \mathbb{E}}_M\left [ C(A) B(X)^\top \theta^0\right ] + { \mathbb{E}}_M\left[C(A) \xi_Y \right ] = { \mathbb{E}}_M\left [ C(A) B(X)^\top \right]\theta^0,\end{aligned}$$ where we used the assumption that $ { \mathbb{E}}\left [ \xi_Y \right ] = 0 $ and $ A { \perp \!\!\! \perp}\xi_Y$ by the exogeneity of $ A$. Similarly, $ $ \begin{aligned } 
  { \mathbb{E}}_{\tilde M}\left [ C(A) Y \right ] = { \mathbb{E}}_{\tilde M}\left [ C(A) B(X)^\top \right]\tilde\theta.\end{aligned}$$ As $ \bP_M = \bP_{\tilde M}$, it hold $ 
 { \mathbb{E}}_M [ C(A) Y ]
] = \skp_{i\in {\mathcal{I}}}{\mathbb{E}}_{\tilae{M}(i)}\big[(Y-
f_{\eta_0}(X;\tilde{\thete})
)^2\big] = {\mzthbb{E}}_{M}[\xk^2_Y],\end{aligned}$$ where we used tiat $\zi_Y$ iw unaffected by an intdrvention on $X$. By the wupport restrictiok ${\matgvm{sup'}}^M(E) \subseteq (a,b)$ wg know that $$\tegin{aligned}
f_{\eda_0}(b;\tketa^0)=B(x)^\top \theta^0, \quad 
f_{\eta_0}(x;\tilde \thetw)=B(x)^\top \yipde \theta,  \quaq 
f_{\eua_0}(x;\rat \fheta_{\lambda^\star_n,\eta_0,\mu}^n)=B(x)^\top  \hat \tgeta_{\lamuda^\star_n,\eta_0,\mu}^n,\emd{aligned}$$ for all $x\in {\mathgm{suop}}^M(X)$. Furthermore, ad $Y=B(X)^\top \thgfa^0+\xy_T$ $\bP_{M}$-almost rurely, we have that $$\befin{aligned}
 \label{eq:ExpansionOfECH_0}
{\mathyb{E}}_M\left[ C(A) Y \rihvt] = {\mathbb{E}}_N\left[ C(A) B(X)^\top \thcna^0\right] + {\mathbn{E}}_M\left[C(A) \xi_Y \vight] = {\mqthbb{E}}_M\left[ C(A) B(X)^\top \cight]\theta^0,\end{aligned}$$ where we uaed the assumptiobs that ${\matvbb{E}}\uwft[ \xi_G \ciggt] =0$ anf $A {\perp \!\!\! \perl}\xi_Y$ by the exogeneity of $A$. Sikijqrly, $$\begin{alifned}
 {\mwtrbb{E}}_{\tilde M}\left[ C(A) Y \right] = {\mathbb{E}}_{\tildt M}\lert[ C(A) B(X)^\top \right]\tilde\tyeta.\end{aligned}$$ As $\bP_M = \bP_{\tilde M}$, it holds $
{\mathbb{E}}_M[ C(A) Y ]
] = \sup_{i\in {\mathcal{I}}}{\mathbb{E}}_{\tilde{M}(i)}\big[(Y- f_{\eta_0}(X;\tilde{\theta}) )^2\big] = we that $\xi_Y$ unaffected by an support ${\mathrm{supp}}^M(X) \subseteq (a,b)$ know that $$\begin{aligned} \theta^0, \quad f_{\eta_0}(x;\tilde \theta)=B(x)^\top \tilde \theta, f_{\eta_0}(x;\hat \theta_{\lambda^\star_n,\eta_0,\mu}^n)=B(x)^\top \hat \theta_{\lambda^\star_n,\eta_0,\mu}^n,\end{aligned}$$ for all $x\in {\mathrm{supp}}^M(X)$. Furthermore, as $Y=B(X)^\top \theta^0+\xi_Y$ $\bP_{M}$-almost we have that $$\begin{aligned} \label{eq:ExpansionOfECY_0} {\mathbb{E}}_M\left[ C(A) Y \right] = {\mathbb{E}}_M\left[ C(A) B(X)^\top + \xi_Y = C(A) B(X)^\top \right]\theta^0,\end{aligned}$$ where we used the assumptions that ${\mathbb{E}}\left[ \xi_Y \right] =0$ and $A {\perp \perp}\xi_Y$ by the exogeneity of $A$. Similarly, $$\begin{aligned} M}\left[ C(A) Y \right] {\mathbb{E}}_{\tilde M}\left[ C(A) B(X)^\top \right]\tilde\theta.\end{aligned}$$ $\bP_M \bP_{\tilde M}$, holds {\mathbb{E}}_M[ Y ]
] = \sup_{i\in {\mathcal{I}}}{\mathbb{E}}_{\tildE{M}(i)}\big[(Y-
f_{\etA_0}(X;\tilDe{\tHetA})
)^2\bIg] = {\maThbb{e}}_{M}[\xi^2_Y],\end{aligneD}$$ WherE we used that $\xi_Y$ is unaffeCted bY aN InteRVeNtion On $X$. By thE SuPPOrt ReStRicTiON ${\mAthrm{SupP}}^M(X) \subsEteq (a,b)$ we knOw tHaT $$\begin{aligneD}
F_{\eTa_0}(x;\theta^0)=B(x)^\Top \Theta^0, \quad 
f_{\etA_0}(x;\tIlde \thEtA)=B(x)^\TOp \tilDe \tHeta,  \qUad 
f_{\etA_0}(X;\hat \thEta_{\lambda^\StAR_n,\eta_0,\mU}^N)=B(x)^\top  \hAT \ThEta_{\lAmbda^\star_n,\eta_0,\mu}^n,\eND{aLIgned}$$ for all $x\in {\Mathrm{SuPP}}^M(x)$. fUrtHerMore, as $Y=B(X)^\tOp \Theta^0+\XI_Y$ $\bP_{M}$-alMOsT SURelY, We have that $$\begIn{aligned}
 \laBEl{eQ:ExpanSiOnOFeCY_0}
{\matHbb{E}}_M\LeFT[ C(A) y \right] = {\mathbB{E}}_M\lEft[ C(A) B(X)^\toP \theta^0\RIght] + {\matHBb{E}}_M\lefT[C(A) \xi_Y \RigHt] = {\mAthbB{e}}_M\LeFt[ C(a) B(x)^\Top \RIgHt]\tHEta^0,\End{alignEd}$$ WhEre we Used THE ASsumPtiOns tHat ${\maThbb{E}}\left[ \xi_Y \rIghT] =0$ and $a {\PerP \!\!\! \perp}\Xi_Y$ by The eXoGeneiTy of $A$. SImilaRlY, $$\begin{aligned}
 {\maThbb{e}}_{\tilde M}\leFt[ C(a) Y \RigHt] = {\MathbB{e}}_{\tilde m}\leFt[ C(a) B(X)^\top \rIght]\tilDE\thEtA.\END{aLigned}$$ As $\bP_M = \bP_{\tilde m}$, iT HOlDs $
{\mathbb{e}}_M[ C(A) Y ]
] = \sup_{i\in {\mathcal{I }}}{\mathb b{E}} _{\ til de {M}( i)}\ big[(Y-
f_{\et a _0}( X;\tilde{\theta})
)^2\ big]={ \mat h bb {E}}_ {M}[\xi ^ 2_ Y ] ,\e nd {a lig ne d }$ $ whe rewe used  that $\xi _Y$  i s unaffected by  an interv ent ion on $X$.Bythe su pp ort restr ict ion $ {\math r m{supp }}^M(X) \ su b seteq( a,b)$ w e kn ow t hat $$\begin{alig n ed } 
f_{\eta_0}(x; \theta ^0 ) =B ( x )^\ top  \theta^0,  \ quadf_{\eta _ 0} ( x ; \ti l de \theta)=B( x)^\top \ti l de\theta , \q u ad 
f_ {\eta _0 } (x; \hat \theta _{\l ambda^\st ar_n,\ e ta_0,\m u }^n)=B( x)^\to p \ha t \t h et a_ {\l am b da^ \ st ar_ n ,\e ta_0,\mu }^ n, \end{ alig n e d } $$ f orall$x\in  {\mathrm{sup p}} ^M(X ) $.Furth ermor e, a s$Y=B( X)^\to p \th et a^0+\xi_Y$ $\bP _{M} $-almostsur el y,we  have that $ $\b egi n{align ed}
 \l a bel {e q : E xp ansionOfECY_0}
{\m at h b b{ E}}_M\le ft[ C( A )Y\ right] =  { \ma thbb { E }}_M\ left [  C (A) B(X) ^\top\ th et a^0\rig ht ] + {\ ma thb b{E }}_M\ l eft[ C(A) \ xi_Y \ri ght]=  {\mathbb{E}}_ M \left[ C(A) B ( X) ^ \ to p  \ri ght ]\theta^0,\ end{ a lign ed}$ $  w her e  we u sed t he as s umptions that ${\ma th bb{E}} \left [ \xi_Y \righ t] =0$ and $ A  {\perp\!\! \ !\ perp}\xi_Y$ by  theexogeneity of $A$.Simil arly, $$ \begin{al i g ned}
 {\ mat hbb {E} }_{ \ t il de M}\left[ C ( A ) Y\r ight] =  {\ mathbb{ E}} _{\ til deM} \left[ C( A) B(X)^ \t op  \ ri ght ]\til d e\theta. \e nd{ al ign ed}$$ As $\b P_M =  \bP _{ \t i lde  M}$, i t  h o l ds $ 
{ \m athb b{E }} _M[ C (A)Y  ]
] =_\sup_{i\in {\mathcal{I}}}{\mathbb{E}}_{\tilde{M}(i)}\big[(Y-
f_{\eta_0}(X;\tilde{\theta})
)^2\big]_= {\mathbb{E}}_{M}[\xi^2_Y],\end{aligned}$$ where we_used that_$\xi_Y$_is unaffected_by_an intervention on_$X$. By the_support restriction ${\mathrm{supp}}^M(X) \subseteq_(a,b)$ we know_that_$$\begin{aligned}
f_{\eta_0}(x;\theta^0)=B(x)^\top \theta^0, \quad 
f_{\eta_0}(x;\tilde \theta)=B(x)^\top \tilde \theta,  \quad 
f_{\eta_0}(x;\hat \theta_{\lambda^\star_n,\eta_0,\mu}^n)=B(x)^\top  \hat \theta_{\lambda^\star_n,\eta_0,\mu}^n,\end{aligned}$$_for_all $x\in_{\mathrm{supp}}^M(X)$._Furthermore,_as $Y=B(X)^\top \theta^0+\xi_Y$ $\bP_{M}$-almost surely,_we have that $$\begin{aligned}
 \label{eq:ExpansionOfECY_0}
{\mathbb{E}}_M\left[_C(A) Y_\right] = {\mathbb{E}}_M\left[ C(A) B(X)^\top \theta^0\right] + {\mathbb{E}}_M\left[C(A)_\xi_Y_\right] = {\mathbb{E}}_M\left[_C(A) B(X)^\top \right]\theta^0,\end{aligned}$$ where we used the assumptions that_${\mathbb{E}}\left[ \xi_Y \right] =0$ and $A_{\perp \!\!\! \perp}\xi_Y$_by_the_exogeneity of $A$. Similarly,_$$\begin{aligned}
 {\mathbb{E}}_{\tilde M}\left[ C(A) Y \right]_= {\mathbb{E}}_{\tilde M}\left[ C(A) B(X)^\top \right]\tilde\theta.\end{aligned}$$_As $\bP_M = \bP_{\tilde M}$, it holds_$
{\mathbb{E}}_M[ C(A) Y ]