 need to consider the case that both $f_{x_1=0}$ and $f_{x_1=1}$ are $\mbox{OR}_{n-1}$ functions. Without loss of generality, we assume that $f_{x_1=1}(x)=\mbox{OR}_{n-1}(x_2,\ldots,x_n)$. This means that we have again two subcases.

[**Case 3a:**]{} $f_{x_1=0}(x)=\mbox{OR}_{n-1}(x_2,\ldots,x_n)$. In this case, we have $f(x)=\mbox{OR}_{n-1}(x_2,\ldots,x_n)$ and $Q_E(f)=n-1<n.$

[**Case 3b:**]{} $f_{x_1=0}(x)\neq \mbox{OR}_{n-1}(x_2,\ldots,x_n)$. Without loss of generality generality, let us suppose that there exists a $k\in\{2,\ldots,n\}$ such that $f_{x_1=0}(x)=\mbox{OR}_{n-1}(\neg x_2,\linebreak[0]\ldots,\neg x_k,\linebreak[0]x_{k+1},\ldots,x_n )$. In such a case $$f(x)=\left(\neg x_1\wedge\mbox{OR}_{n-1}(\neg x_2,\ldots,\neg x_k,x_{k+1}, \ldots,x_n)\right)\vee \left(  x_1\wedge\mbox{OR}_{n-1}\linebreak[0](x_2,\ldots,x_n)\right)$$ Let us query $x_{k+1}$ to $x_n$ first. If $x_{k+1}=\cdots=x_n=0$, let $g(y)=f(x_1,\ldots,x_k,0,\ldots,0)$, then $$g(y)=\left(\neg x_1\wedge\mbox{OR}_{n-1}(\neg x_2,\ldots,\neg x_k,)\right)\vee \left(  x_1\wedge\mbox{OR}_{n-1}\linebreak[0](x_2,\ldots,x_k)\right)$$ $$= \mbox{NAE}_{n
need to consider the case that both $ f_{x_1=0}$ and $ f_{x_1=1}$ are $ \mbox{OR}_{n-1}$ functions. Without personnel casualty of generalization, we assume that $ f_{x_1=1}(x)=\mbox{OR}_{n-1}(x_2,\ldots, x_n)$. This means that we get again two subcases. 

 [ * * Case 3a :* * ] { } $ f_{x_1=0}(x)=\mbox{OR}_{n-1}(x_2,\ldots, x_n)$. In this lawsuit, we have $ f(x)=\mbox{OR}_{n-1}(x_2,\ldots, x_n)$ and $ Q_E(f)=n-1 < n.$ 

 [ * * Case 3b :* * ] { } $ f_{x_1=0}(x)\neq \mbox{OR}_{n-1}(x_2,\ldots, x_n)$. Without passing of generalization generality, let us suppose that there exists a $ k\in\{2,\ldots, n\}$ such that $ f_{x_1=0}(x)=\mbox{OR}_{n-1}(\neg x_2,\linebreak[0]\ldots,\neg x_k,\linebreak[0]x_{k+1},\ldots, x_n) $. In such a case $ $ f(x)=\left(\neg x_1\wedge\mbox{OR}_{n-1}(\neg x_2,\ldots,\neg x_k, x_{k+1 }, \ldots, x_n)\right)\vee \left (  x_1\wedge\mbox{OR}_{n-1}\linebreak[0](x_2,\ldots, x_n)\right)$$ lease us query $ x_{k+1}$ to $ x_n$ first. If $ x_{k+1}=\cdots = x_n=0 $, lease $ g(y)=f(x_1,\ldots, x_k,0,\ldots,0)$, then $ $ g(y)=\left(\neg x_1\wedge\mbox{OR}_{n-1}(\neg x_2,\ldots,\neg x_k,)\right)\vee \left (  x_1\wedge\mbox{OR}_{n-1}\linebreak[0](x_2,\ldots, x_k)\right)$$ $ $ = \mbox{NAE}_{n
 nefd to consider the case uhat both $f_{x_1=0}$ and $y_{z_1=1}$ are $\kbox{OR}_{h-1}$ functiuns. Without loss of generalivy, ww assyme that $f_{x_1=1}(x)=\mbox{OR}_{n-1}(x_2,\lduts,x_n)$. Thid means rhat qe have agejn two subcassd.

[**Casz 3e:**]{} $f_{x_1=0}(x)=\mbox{OR}_{n-1}(x_2,\ldpts,x_n)$. In tvis case, we haee $f(r)=\mbox{OR}_{n-1}(x_2,\ldots,x_n)$ and $Q_E(f)=n-1<n.$

[**Case 3b:**]{} $f_{x_1=0}(x)\geq \mboc{OG}_{n-1}(x_2,\ldots,x_n)$. Witrout joss of generality generality, let us shppose uhat there exists s $k\in\{2,\ldots,n\}$ such that $f_{x_1=0}(x)=\mhox{OG}_{n-1}(\neg x_2,\linebreak[0]\ldlts,\neg x_k,\libebrqqk[0]x_{k+1},\ldots,x_n )$. In such a case $$f(x)=\left(\heg x_1\wedge\mbox{OR}_{n-1}(\neg x_2,\ldots,\neg b_k,x_{k+1}, \kdots,x_n)\rigyt)\cee \neft(  x_1\wedgx\mbox{OG}_{n-1}\linebreak[0](x_2,\ldots,x_n)\richt)$$ Let us query $x_{k+1}$ tp $x_i$ fiest. If $x_{k+1}=\cdots=x_n=0$, let $j(y)=f(x_1,\ldots,x_k,0,\ldots,0)$, theg $$g(y)=\left(\nag x_1\wedge\mbox{OR}_{n-1}(\neg x_2,\odots,\teg f_k,)\rieyt)\vde \meht(  x_1\wedgf\mbkx{OR}_{n-1}\linebdeak[0](x_2,\ldots,x_j)\right)$$ $$= \mbox{NAE}_{n
need to consider the case that both $f_{x_1=1}$ $\mbox{OR}_{n-1}$ functions. loss of generality, means we have again subcases. [**Case 3a:**]{} In this case, we have $f(x)=\mbox{OR}_{n-1}(x_2,\ldots,x_n)$ $Q_E(f)=n-1<n.$ [**Case 3b:**]{} $f_{x_1=0}(x)\neq \mbox{OR}_{n-1}(x_2,\ldots,x_n)$. Without loss of generality generality, let us suppose there exists a $k\in\{2,\ldots,n\}$ such that $f_{x_1=0}(x)=\mbox{OR}_{n-1}(\neg x_2,\linebreak[0]\ldots,\neg x_k,\linebreak[0]x_{k+1},\ldots,x_n )$. In such a $$f(x)=\left(\neg x_2,\ldots,\neg \ldots,x_n)\right)\vee x_1\wedge\mbox{OR}_{n-1}\linebreak[0](x_2,\ldots,x_n)\right)$$ Let us query $x_{k+1}$ to $x_n$ first. If $x_{k+1}=\cdots=x_n=0$, let $g(y)=f(x_1,\ldots,x_k,0,\ldots,0)$, then $$g(y)=\left(\neg x_1\wedge\mbox{OR}_{n-1}(\neg x_2,\ldots,\neg \left( x_1\wedge\mbox{OR}_{n-1}\linebreak[0](x_2,\ldots,x_k)\right)$$ $$= \mbox{NAE}_{n
 need to consider the case that Both $f_{x_1=0}$ and $f_{X_1=1}$ are $\mBox{oR}_{n-1}$ FuNctiOns. WIthout loss of geNEralIty, we assume that $f_{x_1=1}(x)=\mbox{oR}_{n-1}(x_2,\lDoTS,x_n)$. THIs Means That we hAVe AGAin TwO sUbcAsES.

[**CAse 3a:**]{} $f_{X_1=0}(x)=\mBox{OR}_{n-1}(x_2,\Ldots,x_n)$. In tHis CaSe, we have $f(x)=\mbOX{Or}_{n-1}(x_2,\ldots,x_n)$ And $q_E(f)=n-1<n.$

[**Case 3b:**]{} $f_{x_1=0}(X)\neQ \mbox{Or}_{n-1}(X_2,\ldOTs,x_n)$. WIthOut loSs of geNEralitY generaliTy, LEt us suPPose thaT THeRe exIsts a $k\in\{2,\ldots,n\}$ sucH ThAT $f_{x_1=0}(x)=\mbox{OR}_{n-1}(\neg X_2,\linebReAK[0]\lDOTs,\nEg x_K,\linebreak[0]X_{k+1},\Ldots,X_N )$. In such A CaSE $$F(X)=\leFT(\neg x_1\wedge\mboX{OR}_{n-1}(\neg x_2,\ldoTS,\neG x_k,x_{k+1}, \lDoTs,x_N)\Right)\vEe \lefT(  x_1\WEdgE\mbox{OR}_{n-1}\linEbreAk[0](x_2,\ldots,x_N)\right)$$ lEt us queRY $x_{k+1}$ to $x_n$ First. IF $x_{k+1}=\CdoTs=x_n=0$, LEt $G(y)=F(x_1,\lDoTS,x_k,0,\LDoTs,0)$, tHEn $$g(Y)=\left(\neg X_1\wEdGe\mboX{OR}_{n-1}(\NEG X_2,\LdotS,\neG x_k,)\rIght)\vEe \left(  x_1\wedge\mBox{oR}_{n-1}\lINebReak[0](x_2,\Ldots,X_k)\riGhT)$$ $$= \mbox{nAE}_{n
 need to consider the case  that both  $f_{ x_1 =0} $and$f_{ x_1=1}$ are $\ m box{ OR}_{n-1}$ functions.Witho ut loss of  gene rality, we a ssu me  t hat  $ f _{ x_1=1 }(x )=\mbox {OR}_{n-1} (x_ 2, \ldots,x_n)$ .  T his meanstha t we have ag ain  two s ub cas e s.

[ **C ase 3 a:**]{ }  $f_{x _1=0}(x)= \m b ox{OR} _ {n-1}(x _ 2 ,\ ldot s,x_n)$. In thisc as e , we have $f(x )=\mbo x{ O R} _ { n-1 }(x _2,\ldots, x_ n)$ a n d $Q_E( f )= n - 1 <n. $ 

[**Case 3b: **]{} $f_{x _ 1=0 }(x)\n eq  \m b ox{OR} _{n-1 }( x _2, \ldots,x_n) $. W ithout lo ss ofg enerali t y gener ality,  le t u s su p po se  th at the r eexi s tsa $k\in\ {2 ,\ ldots ,n\} $ s u ch t hat  $f_ {x_1= 0}(x)=\mbox{O R}_ {n-1 } (\n eg x_ 2,\li nebr ea k[0]\ ldots, \negx_ k,\linebreak[0] x_{k +1},\ldot s,x _n  )$ .In su c h a ca se$$f (x)=\le ft(\neg x_1 \w e d g e\ mbox{OR}_{n-1}(\ne gx _ 2, \ldots,\ neg x_ k ,x _{ k +1}, \ld ot s,x _n)\ r i ght)\ vee\ le ft(  x_1 \wedge \ mb ox {OR}_{n -1 }\line br eak [0] (x_2, \ ldot s,x_n) \right)$ $ Let us query $x_{k + 1}$ to $x_n$f ir s t .I f $x _{k +1}=\cdots= x_n= 0 $, l et $ g (y )=f ( x_1,\ ldots ,x _ k, 0 ,\ldots,0)$, then $ $g (y)=\l eft(\ neg x_1\wedge \mbox{OR}_ { n - 1}(\negx_2, \ ld o ts,\neg x_k,)\ right )\vee \lef t (  x_1\w edge\ mbox{OR} _{n-1}\li n e break[0] (x_ 2,\ ldo ts, x _ k) \right)$$ $$= \ mbox {N AE}_{n
 need_to consider_the case that both_$f_{x_1=0}$ and_$f_{x_1=1}$_are $\mbox{OR}_{n-1}$_functions._Without loss of_generality, we assume_that $f_{x_1=1}(x)=\mbox{OR}_{n-1}(x_2,\ldots,x_n)$. This means_that we have_again_two subcases.

[**Case 3a:**]{} $f_{x_1=0}(x)=\mbox{OR}_{n-1}(x_2,\ldots,x_n)$. In this case, we have $f(x)=\mbox{OR}_{n-1}(x_2,\ldots,x_n)$ and $Q_E(f)=n-1<n.$

[**Case 3b:**]{} $f_{x_1=0}(x)\neq_\mbox{OR}_{n-1}(x_2,\ldots,x_n)$._Without loss_of_generality_generality, let us suppose that_there exists a $k\in\{2,\ldots,n\}$ such_that $f_{x_1=0}(x)=\mbox{OR}_{n-1}(\neg_x_2,\linebreak[0]\ldots,\neg x_k,\linebreak[0]x_{k+1},\ldots,x_n )$. In such a case $$f(x)=\left(\neg_x_1\wedge\mbox{OR}_{n-1}(\neg_x_2,\ldots,\neg x_k,x_{k+1}, \ldots,x_n)\right)\vee_\left(  x_1\wedge\mbox{OR}_{n-1}\linebreak[0](x_2,\ldots,x_n)\right)$$ Let us query $x_{k+1}$ to $x_n$_first. If $x_{k+1}=\cdots=x_n=0$, let $g(y)=f(x_1,\ldots,x_k,0,\ldots,0)$, then_$$g(y)=\left(\neg x_1\wedge\mbox{OR}_{n-1}(\neg x_2,\ldots,\neg_x_k,)\right)\vee_\left(_ x_1\wedge\mbox{OR}_{n-1}\linebreak[0](x_2,\ldots,x_k)\right)$$ $$= \mbox{NAE}_{n