oving interventions, then the bound in can be improved by using that ${\mathbb{E}}[\xi_Y]=0$ together with $H{\perp \!\!\! \perp}X$. In that case, we get that ${\mathbb{E}}_{\tilde{M}(i)}\big[\xi_Y(\tilde{f}(X)-f(X))\big]=0$ and hence the bound becomes $4\delta^2 K^2$. This completes the proof of Proposition \[prop:extrapolation\_bounded\_deriv\_cr\].

Proof of Proposition \[prop:extrapolation\_bounded\_deriv\] {#sec:prop:extrapolation_bounded_deriv}
-----------------------------------------------------------

By Assumption \[ass:identify\_f\], $f$ is identified on ${\mathrm{supp}}^{M}(X)$ by the observational distribution $\bP_{M}$. Let $\cI$ be a set of confounding-preserving interventions. For a fixed ${\varepsilon}>0$, let $f^*\in\mathcal{F}$ be a function satisfying $$\label{eq:fstarDiffEpsilon}
    \abs{\sup_{i\in\cI}{\mathbb{E}}_{M(i)}\big[(Y-f^*(X))^2)\big]-\inf_{{f_{\diamond}}\in\mathcal{F}}\sup_{i\in\cI}{\mathbb{E}}_{M(i)}\big[(Y-{f_{\diamond}}(X))^2)\big]}\leq{\varepsilon}.$$ Fix any secondary model $\tilde{M}=(\tilde{f},\tilde{g},\tilde{h}_1,\tilde{h}_2,\tilde{Q})\in
        \cM$ with $\bP_{\tilde{M}} = \bP_M$. The general idea is to derive an upper bound for $\sup_{i\in{\mathcal{I}}}{\mathbb{E}}_{\tilde{M}(i)}[(Y-f^*(X))^2]$ and a lower bound for $\inf_{{f_{\diamond}}\in{\mathcal{F}}}\,
        \sup_{i\in{\mathcal{I}}}{\mathbb{E}}_{\tilde{M}(i)}[(Y-{f_{\diamond}}(X))^2]$ which will allow us to bound the absolute difference of interest.

Since $({\mathbb{P}}_M,\cM)$ satisfies Assumption \[ass:identify\_f\], we have that $f \equiv \tilde{f}$ on ${\
oving interventions, then the bound in can be improved by using that $ { \mathbb{E}}[\xi_Y]=0 $ in concert with $ H{\perp \!\!\! \perp}X$. In that subject, we get that $ { \mathbb{E}}_{\tilde{M}(i)}\big[\xi_Y(\tilde{f}(X)-f(X))\big]=0 $ and hence the bounce become $ 4\delta^2 K^2$. This completes the proof of Proposition   \[prop: extrapolation\_bounded\_deriv\_cr\ ]. 

 Proof of Proposition   \[prop: extrapolation\_bounded\_deriv\ ] { # sec: prop: extrapolation_bounded_deriv } 
 ----------------------------------------------------------- 

 By Assumption   \[ass: identify\_f\ ], $ f$ is identify on $ { \mathrm{supp}}^{M}(X)$ by the experimental distribution $ \bP_{M}$. Let $ \cI$ be a set of confounding - preserving interventions. For a fix $ { \varepsilon}>0 $, let $ f^*\in\mathcal{F}$ be a function satisfy $ $ \label{eq: fstarDiffEpsilon } 
     \abs{\sup_{i\in\cI}{\mathbb{E}}_{M(i)}\big[(Y - f^*(X))^2)\big]-\inf_{{f_{\diamond}}\in\mathcal{F}}\sup_{i\in\cI}{\mathbb{E}}_{M(i)}\big[(Y-{f_{\diamond}}(X))^2)\big]}\leq{\varepsilon}.$$ Fix any junior-grade model $ \tilde{M}=(\tilde{f},\tilde{g},\tilde{h}_1,\tilde{h}_2,\tilde{Q})\in 
         \cM$ with $ \bP_{\tilde{M } } = \bP_M$. The general theme is to derive an upper bound for $ \sup_{i\in{\mathcal{I}}}{\mathbb{E}}_{\tilde{M}(i)}[(Y - f^*(X))^2]$ and a lower oblige for $ \inf_{{f_{\diamond}}\in{\mathcal{F}}}\, 
         \sup_{i\in{\mathcal{I}}}{\mathbb{E}}_{\tilde{M}(i)}[(Y-{f_{\diamond}}(X))^2]$ which will allow us to bound the absolute difference of pastime. 

 Since $ ({ \mathbb{P}}_M,\cM)$ satisfies Assumption   \[ass: identify\_f\ ], we have that $ f \equiv \tilde{f}$ on $ { \
ovijg interventions, then tht bound in can be improvxd by uaing thag ${\mathbb{E}}[\xi_Y]=0$ together with $H{\'erp \!\!\! \perk}Q$. In that case, we get that ${\matjbb{E}}_{\tildw{M}(i)}\bmg[\xi_Y(\tilde{f}(X)-f(X))\bij]=0$ and hekee ths bouud becomes $4\delta^2 K^2$. This cokpletes the prmow lf Proposition \[prop:extrapolation\_bounqed\_derif\_cg\].

Proof of Propjsitpog \[prol:vxurapolation\_bounded\_deriv\] {#sec:prop:exfrapolauion_bounded_deriv}
-----------------------------------------------------------

By Assumption \[ass:identify\_f\], $f$ ls ifentified on ${\mathrl{supp}}^{M}(X)$ by jge jvservational distributpmn $\bP_{M}$. Let $\cI$ be a set of confounding-presdrviny interventuobs. Vmr a fixed ${\tarepsplon}>0$, let $f^*\in\mathcal{F}$ te a fumction satisfylng $$\lebel{wq:fstarDiffEpsilon}
    \abs{\sup_{i\in\cI}{\mathbb{G}}_{M(i)}\big[(Y-f^*(X))^2)\bhg]-\nnf_{{f_{\diamond}}\in\mathcal{F}}\wup_{i\in\cH}{\matvbb{E}}_{O(u)}\bie[(Y-{f_{\siemohd}}(X))^2)\big]}\peq{\tarepsilon}.$$ Rix any secindary model $\tilde{M}=(\uilqv{g},\tilde{g},\tilde{g}_1,\tilde{r}_2,\tylde{Q})\in
        \cM$ with $\bP_{\tilde{M}} = \bP_M$. Tht gensral idea is to derive qn upper bound for $\suk_{i\in{\mathcaj{I}}}{\mathbb{E}}_{\tilde{M}(i)}[(Y-f^*(X))^2]$ and a lower bound for $\inf_{{f_{\diakond}}\ii{\mxtheql{F}}}\,
        \sup_{i\in{\mathcal{I}}}{\mathbb{E}}_{\tilde{M}(i)}[(Y-{f_{\diamond}}(X))^2]$ whisg eikl allow us to bound the sbdokote difference of incsrsst.

Since $({\mathbb{P}}_M,\cL)$ satissies Qssumptiog \[ass:odentify\_f\], we have that $f \eqyiv \tilde{f}$ ou ${\
oving interventions, then the bound in can by that ${\mathbb{E}}[\xi_Y]=0$ with $H{\perp \!\!\! get ${\mathbb{E}}_{\tilde{M}(i)}\big[\xi_Y(\tilde{f}(X)-f(X))\big]=0$ and hence bound becomes $4\delta^2 This completes the proof of Proposition Proof of Proposition \[prop:extrapolation\_bounded\_deriv\] {#sec:prop:extrapolation_bounded_deriv} ----------------------------------------------------------- By Assumption \[ass:identify\_f\], $f$ is identified on by the observational distribution $\bP_{M}$. Let $\cI$ be a set of confounding-preserving interventions. a ${\varepsilon}>0$, $f^*\in\mathcal{F}$ a function satisfying $$\label{eq:fstarDiffEpsilon} \abs{\sup_{i\in\cI}{\mathbb{E}}_{M(i)}\big[(Y-f^*(X))^2)\big]-\inf_{{f_{\diamond}}\in\mathcal{F}}\sup_{i\in\cI}{\mathbb{E}}_{M(i)}\big[(Y-{f_{\diamond}}(X))^2)\big]}\leq{\varepsilon}.$$ Fix any secondary model $\tilde{M}=(\tilde{f},\tilde{g},\tilde{h}_1,\tilde{h}_2,\tilde{Q})\in \cM$ with $\bP_{\tilde{M}} = \bP_M$. The idea is to derive an upper bound for and a lower bound $\inf_{{f_{\diamond}}\in{\mathcal{F}}}\, \sup_{i\in{\mathcal{I}}}{\mathbb{E}}_{\tilde{M}(i)}[(Y-{f_{\diamond}}(X))^2]$ which will allow to the absolute of Since satisfies Assumption \[ass:identify\_f\], have that $f \equiv \tilde{f}$ on ${\
oving interventions, then the Bound in can Be impRovEd bY uSing That ${\Mathbb{E}}[\xi_Y]=0$ togeTHer wIth $H{\perp \!\!\! \perp}X$. In that casE, we geT tHAt ${\maTHbB{E}}_{\tilDe{M}(i)}\big[\XI_Y(\TILde{F}(X)-F(X))\Big]=0$ AnD HeNce thE boUnd becoMes $4\delta^2 K^2$. THis CoMpletes the prOOf Of PropositIon \[Prop:extrapolAtiOn\_bounDeD\_deRIv\_cr\].

PRooF of PrOpositIOn \[prop:ExtrapolaTiON\_boundED\_deriv\] {#sEC:PrOp:exTrapolation_boundeD_DeRIv}
-----------------------------------------------------------

By Assumption \[Ass:ideNtIFy\_F\], $F$ Is iDenTified on ${\maThRm{supP}}^{m}(X)$ by the OBsERVAtiONal distributiOn $\bP_{M}$. Let $\cI$ bE A seT of conFoUndINg-presErvinG iNTerVentions. For A fixEd ${\varepsiLon}>0$, let $F^*\In\mathcAL{F}$ be a fuNction SatIsfYing $$\LAbEl{Eq:fStARDiFFEPsiLOn}
    \aBs{\sup_{i\in\CI}{\MaThbb{E}}_{m(i)}\biG[(y-F^*(x))^2)\Big]-\iNf_{{f_{\DiamOnd}}\in\Mathcal{F}}\sup_{i\iN\cI}{\MathBB{E}}_{M(I)}\big[(Y-{F_{\diamOnd}}(X))^2)\BiG]}\leq{\vArepsiLon}.$$ FiX aNy secondary modeL $\tilDe{M}=(\tilde{f},\TilDe{G},\tiLdE{h}_1,\tilDE{h}_2,\tildE{Q})\iN
        \cM$ With $\bP_{\tIlde{M}} = \bP_m$. the GeNERAl Idea is to derive an upPeR BOuNd for $\sup_{I\in{\matHCaL{I}}}{\MAthbb{E}}_{\tiLdE{M}(i)}[(y-f^*(X))^2]$ aND A loweR bouND fOr $\inf_{{f_{\diAmond}}\iN{\MaThCal{F}}}\,
        \sup_{I\iN{\mathcAl{i}}}{\maThbB{E}}_{\tilDE{M}(i)}[(Y-{F_{\diamoNd}}(X))^2]$ which Will aLLow us to bound thE Absolute diffeREnCE Of INterEst.

since $({\mathbb{p}}_M,\cM)$ SAtisFies aSsUmpTIon \[asS:idenTiFY\_f\], WE have that $f \equiv \tildE{f}$ On ${\
oving interventions, thenthe boundin ca n b e i mp rove d by  using that ${ \ math bb{E}}[\xi_Y]=0$ toget her w it h  $H{ \ pe rp \! \!\! \p e rp } X $.In  t hat  c a se , weget  that $ {\mathbb{E }}_ {\ tilde{M}(i)} \ bi g[\xi_Y(\t ild e{f}(X)-f(X) )\b ig]=0$  a ndh encethe  boun d beco m es $4\ delta^2 K ^2 $ . This complet e s  t he p roof of Propositi o n\ [prop:extrapol ation\ _b o un d e d\_ der iv\_cr\].
P roofo f Propo s it i o n  \[ p rop:extrapola tion\_bound e d\_ deriv\ ]{#s e c:prop :extr ap o lat ion_bounded _der iv}
----- ------ - ------- - ------- ------ --- --- ---- - -- -- --- -- - --- - -
By Ass umption\[ as s:ide ntif y \ _ f \],$f$  isident ified on ${\m ath rm{s u pp} }^{M} (X)$by t he  obse rvatio nal d is tribution $\bP_ {M}$ . Let $\c I$be  ase t ofc onfoun din g-p reservi ng inte r ven ti o n s .For a fixed ${\var ep s i lo n}>0$, l et $f^ * \i n\ m athcal{F }$  be  a f u n ction  sat i sf ying $$\ label{ e q: fs tarDiff Ep silon} 
  \ab s{\su p _{i\ in\cI} {\mathbb {E}}_ { M(i)}\big[(Y-f ^ *(X))^2)\big] - \i n f _{ { f_{\ dia mond}}\in\m athc a l{F} }\su p _{ i\i n \cI}{ \math bb { E} } _{M(i)}\big[(Y-{f_{ \d iamond }}(X) )^2)\big]}\le q{\varepsi l o n }.$$ Fix  any se c ondary model $ \tild e{M}=(\til d e{f},\ti lde{g },\tilde {h}_1,\ti l d e{h}_2,\ til de{ Q}) \in       \cM$ wit h $\bP _{ \tilde{ M}}  = \bP_ M$.  Th e g ene ra l idea is  to deri ve  a nup per  boun d  for $\s up _{i \i n{\ mathc a l{I}}} {\mat hbb{ E} }_ { \ti lde{M}( i )} [ ( Y-f^ *( X) )^2] $ a nd  a lo werb oun d for $ \inf_{{f_ {\d i amon d} }\ in{\mat hcal{F}}}\,
      \sup_ {i \in {\math c a l{I}}}{\ mathbb{E}}_{\tilde{M}(i ) }[(Y-{f _{\ diamo nd}} (X))^2]$whi ch wil l a l low us  to bo und t he  ab s o luted i ff ere nc e of inter e s t.
Sinc e$({\ mathbb{ P}}_M,\cM)$ satisf i esAssumption \[ ass :ide n t if y\_ f \] ,  we  h a vet h at $f \equiv \t ilde{f}$ o n$ {\ 
oving interventions,_then the_bound in can be_improved by_using_that ${\mathbb{E}}[\xi_Y]=0$_together_with $H{\perp \!\!\!_\perp}X$. In that_case, we get that_${\mathbb{E}}_{\tilde{M}(i)}\big[\xi_Y(\tilde{f}(X)-f(X))\big]=0$ and hence_the_bound becomes $4\delta^2 K^2$. This completes the proof of Proposition \[prop:extrapolation\_bounded\_deriv\_cr\].

Proof of Proposition \[prop:extrapolation\_bounded\_deriv\] {#sec:prop:extrapolation_bounded_deriv}
-----------------------------------------------------------

By Assumption \[ass:identify\_f\],_$f$_is identified_on_${\mathrm{supp}}^{M}(X)$_by the observational distribution $\bP_{M}$._Let $\cI$ be a set_of confounding-preserving_interventions. For a fixed ${\varepsilon}>0$, let $f^*\in\mathcal{F}$ be_a_function satisfying $$\label{eq:fstarDiffEpsilon}
_   \abs{\sup_{i\in\cI}{\mathbb{E}}_{M(i)}\big[(Y-f^*(X))^2)\big]-\inf_{{f_{\diamond}}\in\mathcal{F}}\sup_{i\in\cI}{\mathbb{E}}_{M(i)}\big[(Y-{f_{\diamond}}(X))^2)\big]}\leq{\varepsilon}.$$ Fix any secondary model $\tilde{M}=(\tilde{f},\tilde{g},\tilde{h}_1,\tilde{h}_2,\tilde{Q})\in
_     _ \cM$ with_$\bP_{\tilde{M}}_=_\bP_M$. The general idea_is to derive an upper bound_for $\sup_{i\in{\mathcal{I}}}{\mathbb{E}}_{\tilde{M}(i)}[(Y-f^*(X))^2]$ and a lower bound_for $\inf_{{f_{\diamond}}\in{\mathcal{F}}}\,
     _  \sup_{i\in{\mathcal{I}}}{\mathbb{E}}_{\tilde{M}(i)}[(Y-{f_{\diamond}}(X))^2]$ which will allow_us to bound the absolute_difference of_interest.

Since $({\mathbb{P}}_M,\cM)$ satisfies Assumption \[ass:identify\_f\], we_have that $f_\equiv \tilde{f}$_on ${\