d \to {\mathbb{R}}\,\vert\, \theta :\Theta \rightarrow {\mathbb{R}}, \theta \mapsto f(x,\theta) \text{ is } C^2 \text{ for all } x\in {\mathbb{R}}^d \}.\end{aligned}$$ Consistent estimation of the parameter $\theta_0$ using instrumental variables in such function classes has been studied extensively in the econometric literature [e.g., @amemiya1974nonlinear; @jorgenson1974efficient; @kelejian1971two]. These works also contain rigorous results on how instrumental variable estimators of $\theta_0$ are constructed and under which conditions consistency (and thus identifiability) holds. Here, we give an argument on why the presence of the exogenous variables $A$ yields identifiability under certain regularity conditions. Assume that ${\mathbb{E}}[h_1(H, {\varepsilon}_Y)|A]=0$, which implies that the true causal function $f(\cdot,\theta_0)$ satisfies the population orthogonality condition $$\begin{aligned}
 \label{Eq:PopOrthCondNonLinearIV}
    {\mathbb{E}}[l(A)^\top (Y-f(X,\theta_0))] = {\mathbb{E}}\big[l(A)^\top {\mathbb{E}}[h_1(H, {\varepsilon}_Y)|A]\big]= 0,\end{aligned}$$ for some measurable mapping $l:{\mathbb{R}}^q\to {\mathbb{R}}^g$, for some $ g \in \mathbb{N}_{>0}$. Clearly, $\theta_0$ is identified from the observational distribution if the map $\theta \mapsto {\mathbb{E}}[l(A)^\top (Y-f(X,\theta))]$ is zero if and only if $\theta=\theta_0$. Furthermore, since $\theta\mapsto f(x,\theta)$ is differentiable for all $x\in {\mathbb{R}}^d$, the mean value theorem yields that, for any $\theta\in \Theta$ and $x\in {\mathbb{R}}^d$, there exists an intermediate point $\tilde{\theta}(x,\theta,\theta_0)$ on the line segment between $\theta$ and $\theta_0$ such that $$f(x,\theta) - f(x,\theta_0) = D_\theta f(x,\tilde{\theta}(x,\theta,\
d \to { \mathbb{R}}\,\vert\, \theta: \Theta \rightarrow { \mathbb{R } }, \theta \mapsto f(x,\theta) \text { is } C^2 \text { for all } x\in { \mathbb{R}}^d \}.\end{aligned}$$ Consistent estimation of the parameter $ \theta_0 $ using instrumental variable star in such affair classes has been studied extensively in the econometric literature [ e.g., @amemiya1974nonlinear; @jorgenson1974efficient; @kelejian1971two ]. These whole shebang also contain rigorous resultant role on how implemental variable estimators of $ \theta_0 $ are constructed and under which conditions consistency (and thus identifiability) hold. Here, we give an argument on why the bearing of the exogenous variables $ A$ yields identifiability under certain regularity conditions. Assume that $ { \mathbb{E}}[h_1(H, { \varepsilon}_Y)|A]=0 $, which implies that the true causal affair $ f(\cdot,\theta_0)$ satisfies the population orthogonality condition $ $ \begin{aligned } 
  \label{Eq: PopOrthCondNonLinearIV } 
     { \mathbb{E}}[l(A)^\top (Y - f(X,\theta_0) ) ] = { \mathbb{E}}\big[l(A)^\top { \mathbb{E}}[h_1(H, { \varepsilon}_Y)|A]\big]= 0,\end{aligned}$$ for some measurable mapping $ l:{\mathbb{R}}^q\to { \mathbb{R}}^g$, for some $ thousand \in \mathbb{N}_{>0}$. Clearly, $ \theta_0 $ is identified from the observational distribution if the map $ \theta \mapsto { \mathbb{E}}[l(A)^\top (Y - f(X,\theta))]$ is zero if and merely if $ \theta=\theta_0$. Furthermore, since $ \theta\mapsto f(x,\theta)$ is differentiable for all $ x\in { \mathbb{R}}^d$, the mean value theorem yields that, for any $ \theta\in \Theta$ and $ x\in { \mathbb{R}}^d$, there exists an intermediate point $ \tilde{\theta}(x,\theta,\theta_0)$ on the cable segment between $ \theta$ and $ \theta_0 $ such that $ $ f(x,\theta) - f(x,\theta_0) = D_\theta f(x,\tilde{\theta}(x,\theta,\
d \tl {\mathbb{R}}\,\vert\, \theta :\Thetx \rightarrow {\majhvb{R}}, \thxta \mapato f(x,\thdta) \text{ is } C^2 \text{ for all } x\un {\maukbb{R}}^d \}.\end{aligned}$$ Conristent edtimatiob of rhe paramevsr $\theta_0$ usinf inscrnmental variablgs in such fgnction classev fad been studied extensively in the esonomettif literature [e.d., @amtmira1974nohlinear; @jorgenson1974efficient; @kelejiah1971two]. Thtse works also conyain rigorous results on hlw ijstrumental variabpe estimatota os $\theta_0$ are cunstructed and under wgich conditions consistency (and thus identifiavioitj) holds. Here, we gpve an argumekn on whf the ptesence of the exmgebous variables $A$ yielvs identifiability ugder certdiu regularity conditiobs. Assuke tvat ${\oqthcb{E}}[g_1(H, {\vzrepsipon}_B)|A]=0$, which imllies that rhe true causal funvtyin $f(\cdot,\theta_0)$ satissiqs the population orthogonality conditimn $$\gegin{aligned}
 \label{Eq:PopIrthCondNonLinearIV}
    {\mathbb{E}}[j(A)^\top (Y-f(X,\theta_0))] = {\mathbb{E}}\big[l(A)^\top {\mathbb{E}}[h_1(H, {\varepsinon}_Y)|A]\uie]= 0,\eue{aligvwd}$$ for some measurable mapping $l:{\mathbb{R}}^q\to {\mathfg{R}}^b$, nor some $ g \in \mcthbb{N}_{>0}$. Clearly, $\tneha_0$ ys identified from cge observational dishributijn if the map $\uheta \mapsto {\mathbb{E}}[l(A)^\top (Y-f(X,\thera))]$ is zero iy abd only if $\theta=\thzta_0$. Furthermure, xince $\theta\mapsto f(x,\theta)$ is difrerentiable for all $s\kn {\mathbb{R}}^d$, the oeak vdlue theorem yields that, fjr any $\thxta\in \Theta$ xnd $c\in {\maehbb{R}}^d$, thege exlvts an intermediatf poiut $\tinde{\theta}(x,\tjeta,\theta_0)$ on the line segment bxvween $\theta$ amd $\thvta_0$ such chat $$f(w,\theta) - f(x,\theta_0) = D_\theta f(x,\tilbe{\theta}(x,\cheta,\
d \to {\mathbb{R}}\,\vert\, \theta :\Theta \rightarrow {\mathbb{R}}, f(x,\theta) is } \text{ for all estimation the parameter $\theta_0$ instrumental variables in function classes has been studied extensively the econometric literature [e.g., @amemiya1974nonlinear; @jorgenson1974efficient; @kelejian1971two]. These works also contain rigorous results how instrumental variable estimators of $\theta_0$ are constructed and under which conditions consistency thus holds. we an argument on why the presence of the exogenous variables $A$ yields identifiability under certain regularity Assume that ${\mathbb{E}}[h_1(H, {\varepsilon}_Y)|A]=0$, which implies that the causal function $f(\cdot,\theta_0)$ satisfies population orthogonality condition $$\begin{aligned} \label{Eq:PopOrthCondNonLinearIV} (Y-f(X,\theta_0))] {\mathbb{E}}\big[l(A)^\top {\mathbb{E}}[h_1(H, 0,\end{aligned}$$ some mapping $l:{\mathbb{R}}^q\to {\mathbb{R}}^g$, some $ g \in \mathbb{N}_{>0}$. Clearly, $\theta_0$ is identified from the observational distribution if the map $\theta {\mathbb{E}}[l(A)^\top (Y-f(X,\theta))]$ if and if Furthermore, $\theta\mapsto f(x,\theta)$ is all $x\in {\mathbb{R}}^d$, the mean value for any $\theta\in \Theta$ and $x\in {\mathbb{R}}^d$, there an intermediate $\tilde{\theta}(x,\theta,\theta_0)$ on the line segment between and $\theta_0$ such that $$f(x,\theta) - f(x,\theta_0) = f(x,\tilde{\theta}(x,\theta,\
d \to {\mathbb{R}}\,\vert\, \theta :\Theta \rIghtarrow {\mAthbb{r}}, \thEta \MaPsto F(x,\thEta) \text{ is } C^2 \text{ FOr alL } x\in {\mathbb{R}}^d \}.\end{aligned}$$ consiStENt esTImAtion Of the paRAmETEr $\tHeTa_0$ UsiNg INsTrumeNtaL variabLes in such fUncTiOn classes has BEeN studied exTenSively in the eConOmetriC lIteRAture [E.g., @aMemiyA1974nonliNEar; @jorGenson1974effIcIEnt; @kelEJian1971two]. tHEsE worKs also contain rigoROuS Results on how inStrumeNtAL vARIabLe eStimators oF $\tHeta_0$ aRE constrUCtED ANd uNDer which condiTions consisTEncY (and thUs IdeNTifiabIlity) HoLDs. HEre, we give an ArguMent on why The preSEnce of tHE exogenOus varIabLes $a$ yieLDs IdEntIfIAbiLItY unDEr cErtain reGuLaRity cOndiTIONS. AssUme That ${\MathbB{E}}[h_1(H, {\varepsiloN}_Y)|A]=0$, WhicH ImpLies tHat thE truE cAusal FunctiOn $f(\cdOt,\Theta_0)$ satisfies tHe poPulation oRthOgOnaLiTy conDItion $$\bEgiN{alIgned}
 \laBel{Eq:PoPortHCONDnoNLinearIV}
    {\mathbb{E}}[l(A)^\ToP (y-F(X,\Theta_0))] = {\matHbb{E}}\biG[L(A)^\ToP {\Mathbb{E}}[h_1(h, {\vArePsilON}_y)|A]\big]= 0,\End{aLIgNed}$$ for soMe measURaBlE mappinG $l:{\Mathbb{r}}^q\To {\mAthBb{R}}^g$, fOR somE $ g \in \maThbb{N}_{>0}$. CleArly, $\tHEta_0$ is identifieD From the observATiONAl DIstrIbuTion if the maP $\theTA \mapSto {\mAThBb{E}}[L(a)^\top (Y-F(X,\theTa))]$ IS zERo if and only if $\theta=\tHeTa_0$. FurtHermoRe, since $\theta\mApsto f(x,\theTA)$ IS differeNtiaBLe FOr all $x\in {\mathbb{r}}^d$, the Mean value tHEorem yieLds thAt, for any $\Theta\in \ThETA$ and $x\in {\mAthBb{R}}^D$, thEre EXIsTs an intermediATE poiNt $\Tilde{\thEta}(X,\theta,\tHetA_0)$ on The LinE sEgment betWeen $\thetA$ aNd $\ThEtA_0$ suCh thaT $$F(x,\theta) - f(X,\tHetA_0) = D_\TheTa f(x,\tILde{\theTa}(x,\thEta,\
d \to {\mathbb{R}}\,\vert\ , \theta : \Thet a \ rig ht arro w {\ mathbb{R}}, \t h eta\mapsto f(x,\theta) \t ext{is } C^ 2  \ text{  for al l  } x \in  { \m ath bb { R} }^d \ }.\ end{ali gned}$$ Co nsi st ent estimati o nof the par ame ter $\theta_ 0$usingin str u menta l v ariab les in such f unction c la s ses ha s  been s t u di ed e xtensively in the ec o nometric liter ature[e . g. , @am emi ya1974nonl in ear;@ jorgens o n1 9 7 4 eff i cient; @kelej ian1971two] .  Th ese wo rk s a l so con tainri g oro us resultson h ow instru mental variabl e  estima tors o f $ \th eta_ 0 $ar e c on s tru c te d a n d u nder whi ch  c ondit ions c o n sist enc y (a nd th us identifiab ili ty)h old s. He re, w e gi ve  an a rgumen t onwh y the presenceof t he exogen ous  v ari ab les $ A $ yiel dside ntifiab ility u n der  c e r t ai n regularity condi ti o n s.  Assumethat $ { \m at h bb{E}}[h _1 (H,  {\v a r epsil on}_ Y )| A]=0$, w hich i m pl ie s thatth e true  c aus alfunct i on $ f(\cdo t,\theta _0)$s atisfies the p o pulation orth o go n a li t y co ndi tion $$\beg in{a l igne d}
\ la bel { Eq:Po pOrth Co n dN o nLinearIV}
    {\ma th bb{E}} [l(A) ^\top (Y-f(X, \theta_0)) ] =  {\mathb b{E} } \b i g[l(A)^\top {\ mathb b{E}}[h_1( H , {\vare psilo n}_Y)|A] \big]= 0, \ e nd{align ed} $$for  so m e  m easurable map p i ng $ l: {\mathb b{R }}^q\to  {\ mat hbb {R} }^ g$, for s ome $ g\i n\m at hbb {N}_{ > 0}$. Cle ar ly,  $ \th eta_0 $  is id entif iedfr om the  observ a ti o n al d is tr ibut ion  i f the  map $\t heta \m apsto {\m ath b b{E} }[ l( A)^\top  (Y-f(X,\thet a) )]$ is zer oifand on l y  if $\th eta=\theta_0$. Furtherm o re, sin ce$\the ta\m apsto f(x ,\t heta)$  is differ entiab le fo rall $ x\in{ \ ma thb b{ R}}^d$, th e mea n val ue  the orem yi elds that, for any $\t heta\in \Thet a$and$ x \i n { \ ma t hbb {R } }^d $ ,  there exists a n intermed ia t epoint $\ti l de{ \t heta}(x ,\theta ,\the t a_0)$ o n the lin e segment  b etwe e n  $\ theta$ and  $\theta _0$ sucht hat $ $ f( x,\th eta ) - f( x, \th eta_0 ) = D_ \ the ta f( x,\til de {\thet a}(x, \t heta,\
d \to_{\mathbb{R}}\,\vert\, \theta_:\Theta \rightarrow {\mathbb{R}}, \theta_\mapsto f(x,\theta)_\text{_is }_C^2_\text{ for all_} x\in {\mathbb{R}}^d_\}.\end{aligned}$$ Consistent estimation of_the parameter $\theta_0$_using_instrumental variables in such function classes has been studied extensively in the econometric literature_[e.g.,_@amemiya1974nonlinear; @jorgenson1974efficient;_@kelejian1971two]._These_works also contain rigorous results_on how instrumental variable estimators_of $\theta_0$_are constructed and under which conditions consistency (and_thus_identifiability) holds. Here,_we give an argument on why the presence of_the exogenous variables $A$ yields identifiability_under certain regularity_conditions._Assume_that ${\mathbb{E}}[h_1(H, {\varepsilon}_Y)|A]=0$, which_implies that the true causal function_$f(\cdot,\theta_0)$ satisfies the population orthogonality condition_$$\begin{aligned}
 \label{Eq:PopOrthCondNonLinearIV}
    {\mathbb{E}}[l(A)^\top (Y-f(X,\theta_0))]_= {\mathbb{E}}\big[l(A)^\top {\mathbb{E}}[h_1(H, {\varepsilon}_Y)|A]\big]= 0,\end{aligned}$$ for_some measurable mapping $l:{\mathbb{R}}^q\to {\mathbb{R}}^g$,_for some_$ g \in \mathbb{N}_{>0}$. Clearly,_$\theta_0$ is identified_from the_observational distribution if_the map $\theta \mapsto {\mathbb{E}}[l(A)^\top (Y-f(X,\theta))]$_is zero if_and only if $\theta=\theta_0$. Furthermore, since_$\theta\mapsto_f(x,\theta)$ is differentiable_for_all_$x\in {\mathbb{R}}^d$,_the mean value_theorem_yields that,_for_any $\theta\in \Theta$ and $x\in {\mathbb{R}}^d$,_there_exists an intermediate point $\tilde{\theta}(x,\theta,\theta_0)$ on the_line segment between $\theta$_and_$\theta_0$ such that $$f(x,\theta)_- f(x,\theta_0) = D_\theta f(x,\tilde{\theta}(x,\theta,\