mathbb{D})$ is contained in an affine analytic variety and is either vertical or horizontal. That is, $f(\mathbb{D})$ is contained in the biholomorphic image of $\mathbb{D}$. And so one can show $\partial_b^{\vec{U},p}\phi$ exists and $\overline{\partial}_b^{\vec{U},p}\phi=0$.\
That is, we may assume $f:=(f_1,f_2):\mathbb{D}\rightarrow b\Omega$ is holomorphic and neither $f_1$ nor $f_2$ is identically constant. This implies $\overline{f(\mathbb{D})}$ is away from either coordinate axis. Then $f(\mathbb{D})$ is contained in a family of analytic disks $\Gamma$ which foliate the boundary near $f(\mathbb{D})$. Let $p\in f(\mathbb{D})$. By Lemma \[almost\] and Proposition \[prophull\], there exists a biholomorphism $T:B(p,r)\rightarrow \mathbb{C}^2$ so that $T(f(\mathbb{D}))\subset \mathbb{C}\times \{\alpha\}$ for some $\alpha\in [-1,1]$. Furthermore, we may assume $T\circ f:=g$ where $g=(g_1,\alpha)$ and $g_1:\mathbb{D}\rightarrow \mathbb{C}$ is a biholomorphism with a continuous extension to the unit circle. We may assume $g_1$ is a biholomophism by Proposition \[propconvex\].

Let $\phi\circ T^{-1}=\widetilde{\phi}$. We will first show the tangential directional derivative $\partial_b^{\vec{U},p}\widetilde{\phi}$ and the conjugate tangential directional derivative $\overline{\partial}_b^{\vec{U},p}\widetilde{\phi}$ exists on $T(\Gamma)\subset \{(z_1,\alpha): z_1\in \mathbb{C}\land \alpha\in [-1,1]\}$ and $\overline{\partial}_b^{\vec{U},p}\widetilde{\phi}=0$ on $T(\Gamma)$ if and only if $\widetilde{\phi}\circ g$ is holomorphic for any holomorphic $g$ so that $g(\mathbb{D})\subset T(\Gamma)$. First we suppose $\widetilde{\phi}\circ g$ is holomorphic and $g(\mathbb{D})\
mathbb{D})$ is contained in an affine analytic variety and is either vertical or horizontal. That is, $ f(\mathbb{D})$ is contained in the biholomorphic prototype of $ \mathbb{D}$. And therefore one can show $ \partial_b^{\vec{U},p}\phi$ exists and $ \overline{\partial}_b^{\vec{U},p}\phi=0$.\ 
 That is, we may assume $ f:=(f_1,f_2):\mathbb{D}\rightarrow b\Omega$ is holomorphic and neither $ f_1 $ nor $ f_2 $ is identically constant. This imply $ \overline{f(\mathbb{D})}$ is away from either coordinate axis. Then $ f(\mathbb{D})$ is contain in a kin of analytic disks $ \Gamma$ which foliate the boundary near $ f(\mathbb{D})$. Let $ p\in f(\mathbb{D})$. By Lemma \[almost\ ] and Proposition \[prophull\ ], there exists a biholomorphism $ triiodothyronine: B(p, r)\rightarrow \mathbb{C}^2 $ so that $ T(f(\mathbb{D}))\subset \mathbb{C}\times \{\alpha\}$ for some $ \alpha\in [ -1,1]$. Furthermore, we may assume $ T\circ f:=g$ where $ g=(g_1,\alpha)$ and $ g_1:\mathbb{D}\rightarrow \mathbb{C}$ is a biholomorphism with a continuous extension to the whole traffic circle. We may assume $ g_1 $ is a biholomophism by Proposition \[propconvex\ ]. 

 Let $ \phi\circ T^{-1}=\widetilde{\phi}$. We will first show the tangential directing derivative $ \partial_b^{\vec{U},p}\widetilde{\phi}$ and the conjugate tangential directional derivative $ \overline{\partial}_b^{\vec{U},p}\widetilde{\phi}$ exist on $ T(\Gamma)\subset \{(z_1,\alpha ): z_1\in \mathbb{C}\land \alpha\in [ -1,1]\}$ and $ \overline{\partial}_b^{\vec{U},p}\widetilde{\phi}=0 $ on $ T(\Gamma)$ if and only if $ \widetilde{\phi}\circ g$ is holomorphic for any holomorphic $ g$ so that $ g(\mathbb{D})\subset T(\Gamma)$. First we think $ \widetilde{\phi}\circ g$ is holomorphic and $ g(\mathbb{D})\
matjbb{D})$ is contained in an xffine analytic varietb and ia either vertical or horizontal. That iw, $f(\maukbb{D})$ is contained in the bihopomorphix imege of $\mathbb{D}$. Ais so onc can dhow $\'artial_b^{\vec{U},p}\phl$ exists ang $\overline{\parthau}_b^{\rec{U},p}\phi=0$.\
That is, we may assume $f:=(f_1,f_2):\matrbb{D}\rigntwrrow b\Omega$ if hokjmorlhic and neither $f_1$ nor $f_2$ is identidally cmnstant. This omplies $\overline{f(\mathbb{D})}$ id awwy from either coogdinate axiw. Thqb $f(\mathbb{D})$ ir contained in a famili of analytic disks $\Gamma$ which woliace the bouneaey jgar $f(\mathbb{D})$. Let $i\in f(\mathbb{D})$. Nj Lemma \[almost\] and Propositipn \['ropyull\], there exists a bmholomorphism $T:B(p,r)\ridhtarrow \kachbb{C}^2$ so that $T(f(\mathbv{D}))\wubsej \matvbb{C}\gumer \{\ampia\}$ ror sole $\elpha\in [-1,1]$. Fudthermore, ww may assume $T\circ g:=g$ qhere $g=(g_1,\alpha)$ and $g_1:\iaehbb{D}\rightarrow \mathbb{C}$ is a biholomorpvisj with a continuous extwnsion to the unit citcle. We mar assume $g_1$ is a biholomophism by Proposition \[propwonvee\].

Ldt $\khl\girc R^{-1}=\wldetilde{\phi}$. We will first show the tangential sitebtional derivativc $\partial_b^{\vec{U},p}\widrtllcg{\phi}$ and the cunjugacs fangential directilnal detivatice $\overlige{\pattial}_b^{\vec{U},p}\widetilde{\phi}$ exiwts on $T(\Gammc)\suvset \{(z_1,\alpha): z_1\in \machbb{C}\land \al'ha\in [-1,1]\}$ and $\pverline{\partial}_b^{\vec{U},p}\wibetilds{\phi}=0$ on $T(\Galma)$ if ans only if $\widetilae{\pmi}\chrc g$ is holomorphic for agy holomocphic $g$ so tfat $b(\mathbf{D})\subset T(\Hamma)$. First we suppose $\wldetipda{\phi}\circ g$ is holomorphic and $g(\mathbb{D})\
mathbb{D})$ is contained in an affine analytic is vertical or That is, $f(\mathbb{D})$ image $\mathbb{D}$. And so can show $\partial_b^{\vec{U},p}\phi$ and $\overline{\partial}_b^{\vec{U},p}\phi=0$.\ That is, we may $f:=(f_1,f_2):\mathbb{D}\rightarrow b\Omega$ is holomorphic and neither $f_1$ nor $f_2$ is identically constant. This $\overline{f(\mathbb{D})}$ is away from either coordinate axis. Then $f(\mathbb{D})$ is contained in a of disks which the boundary near $f(\mathbb{D})$. Let $p\in f(\mathbb{D})$. By Lemma \[almost\] and Proposition \[prophull\], there exists a $T:B(p,r)\rightarrow \mathbb{C}^2$ so that $T(f(\mathbb{D}))\subset \mathbb{C}\times \{\alpha\}$ for $\alpha\in [-1,1]$. Furthermore, we assume $T\circ f:=g$ where $g=(g_1,\alpha)$ $g_1:\mathbb{D}\rightarrow is a with continuous to the unit We may assume $g_1$ is a biholomophism by Proposition \[propconvex\]. Let $\phi\circ T^{-1}=\widetilde{\phi}$. We will first show tangential directional and the tangential derivative exists on $T(\Gamma)\subset \mathbb{C}\land \alpha\in [-1,1]\}$ and $\overline{\partial}_b^{\vec{U},p}\widetilde{\phi}=0$ on only if $\widetilde{\phi}\circ g$ is holomorphic for any $g$ so $g(\mathbb{D})\subset T(\Gamma)$. First we suppose $\widetilde{\phi}\circ is holomorphic and $g(\mathbb{D})\
mathbb{D})$ is contained in an affIne analytiC variEty And Is EithEr veRtical or horizoNTal. THat is, $f(\mathbb{D})$ is containEd in tHe BIholOMoRphic Image of $\MAtHBB{D}$. ANd So One CaN ShOw $\parTiaL_b^{\vec{U},p}\Phi$ exists aNd $\oVeRline{\partial}_B^{\VeC{U},p}\phi=0$.\
That Is, wE may assume $f:=(f_1,F_2):\maThbb{D}\rIgHtaRRow b\OMegA$ is hoLomorpHIc and nEither $f_1$ noR $f_2$ IS identICally coNSTaNt. ThIs implies $\overline{F(\MaTHbb{D})}$ is away from Either CoORdINAte AxiS. Then $f(\mathBb{d})$ is coNTained iN A fAMILy oF Analytic disks $\gamma$ which fOLiaTe the bOuNdaRY near $f(\MathbB{D})$. lEt $p\In f(\mathbb{D})$. BY LemMa \[almost\] aNd PropOSition \[pROphull\], tHere exIstS a bIholOMoRpHisM $T:b(P,r)\rIGhTarROw \mAthbb{C}^2$ so ThAt $t(f(\matHbb{D}))\SUBSEt \maThbB{C}\tiMes \{\alPha\}$ for some $\alpHa\iN [-1,1]$. FurTHerMore, wE may aSsumE $T\Circ f:=G$ where $G=(g_1,\alpHa)$ And $g_1:\mathbb{D}\righTarrOw \mathbb{C}$ Is a BiHolOmOrphiSM with a ConTinUous extEnsion tO The UnIT CIrCle. We may assume $g_1$ is a BiHOLoMophism bY PropoSItIoN \[PropconvEx\].

let $\Phi\cIRC T^{-1}=\widEtilDE{\pHi}$. We will First sHOw ThE tangenTiAl direCtIonAl dErivaTIve $\pArtial_B^{\vec{U},p}\wiDetilDE{\phi}$ and the conjUGate tangentiaL DiRECtIOnal DerIvative $\overLine{\PArtiAl}_b^{\vEC{U},P}\wiDEtildE{\phi}$ eXiSTs ON $T(\Gamma)\subset \{(z_1,\alpha): Z_1\iN \mathbB{C}\lanD \alpha\in [-1,1]\}$ and $\ovErline{\partIAL}_B^{\vec{U},p}\wiDetiLDe{\PHi}=0$ on $T(\Gamma)$ if anD only If $\widetildE{\Phi}\circ g$ Is holOmorphic For any holOMOrphic $g$ sO thAt $g(\MatHbb{d})\SUbSet T(\Gamma)$. FirsT WE supPoSe $\widetIldE{\phi}\cirC g$ iS hoLomOrpHiC and $g(\mathBb{D})\
mathbb{D})$ is contained i n an affin e ana lyt icva riet y an d is either ve r tica l or horizontal. Thatis, $ f( \ math b b{ D})$is cont a in e d  in  t he  bi ho l om orphi c i mage of  $\mathbb{ D}$ .And so one c a nshow $\par tia l_b^{\vec{U} ,p} \phi$ex ist s  and$\o verli ne{\pa r tial}_ b^{\vec{U }, p }\phi= 0 $.\
Tha t is , we  may assume $f:=( f _1 , f_2):\mathbb{D }\righ ta r ro w b\O meg a$ is holo mo rphic and nei t he r $ f_1 $  nor $f_2$ is  identicall y  co nstant .Thi s  impli es $\ ov e rli ne{f(\mathb b{D} )}$ is aw ay fro m  either coordin ate ax is.  Th en $ f (\ ma thb b{ D })$ is  co n tai ned in a  f am ily o f an a l y t ic d isk s $\ Gamma $ which folia tetheb oun darynear$f(\ ma thbb{ D})$.Let $ p\ in f(\mathbb{D} )$.By Lemma\[a lm ost \]  andP roposi tio n \ [prophu ll\], t h ere  e x i s ts  a biholomorphism$T : B (p ,r)\righ tarrow \m at h bb{C}^2$  s o t hat$ T (f(\m athb b {D }))\subs et \ma t hb b{ C}\time s\{\alp ha \}$  fo r som e  $\a lpha\i n [-1,1] $. Fu r thermore, we m a y assume $T\c i rc f := g $ wh ere  $g=(g_1,\a lpha ) $ an d $g _ 1: \ma t hbb{D }\rig ht a rr o w \mathbb{C}$ is abi holomo rphis m with a cont inuous ext e n s ion to t he u n it circle. We may  assu me $g_1$ i s  a bihol omoph ism by P ropositio n \[propco nve x\] .
Let $ \p hi\circ T^{-1 } = \wid et ilde{\p hi} $. We w ill  fi rst  sh ow  the tang ential d ir ec ti on alderiv a tive $\p ar tia l_ b^{ \vec{ U },p}\w ideti lde{ \p hi } $ a nd thec on j u gate  t an gent ial  d irect iona l  de rivativ e $\overl ine { \par ti al }_b^{\v ec{U},p}\wide ti lde{\phi}$  e xis ts on$ T (\Gamma) \subset \{(z_1,\alpha): z_1\in\ma thbb{ C}\l and \alph a\i n [-1, 1]\ } $ and$\over line{ \p art i a l}_b^ { \ ve c{U }, p}\widetil d e {\p hi}=0 $on $ T(\Gamm a)$ if and only if $\w idetilde{\phi }\c ircg $  i s h o lo m orp hi c  fo r any holomorphic  $g$ so th at $g (\mathbb{D } )\s ub set T(\ Gamma)$ . Fir s t we su ppose $\w idetilde{ \p hi}\ c i rcg$ is holo morphicand $g(\m a thbb{ D }) \
mathbb{D})$ is_contained in_an affine analytic variety_and is_either_vertical or_horizontal._That is, $f(\mathbb{D})$_is contained in_the biholomorphic image of_$\mathbb{D}$. And so_one_can show $\partial_b^{\vec{U},p}\phi$ exists and $\overline{\partial}_b^{\vec{U},p}\phi=0$.\
That is, we may assume $f:=(f_1,f_2):\mathbb{D}\rightarrow b\Omega$ is holomorphic_and_neither $f_1$_nor_$f_2$_is identically constant. This implies_$\overline{f(\mathbb{D})}$ is away from either_coordinate axis._Then $f(\mathbb{D})$ is contained in a family of_analytic_disks $\Gamma$ which_foliate the boundary near $f(\mathbb{D})$. Let $p\in f(\mathbb{D})$. By_Lemma \[almost\] and Proposition \[prophull\], there_exists a biholomorphism_$T:B(p,r)\rightarrow_\mathbb{C}^2$_so that $T(f(\mathbb{D}))\subset \mathbb{C}\times_\{\alpha\}$ for some $\alpha\in [-1,1]$. Furthermore,_we may assume $T\circ f:=g$ where_$g=(g_1,\alpha)$ and $g_1:\mathbb{D}\rightarrow \mathbb{C}$ is a biholomorphism_with a continuous extension to the_unit circle. We may assume_$g_1$ is_a biholomophism by Proposition \[propconvex\].

Let_$\phi\circ T^{-1}=\widetilde{\phi}$. We_will first_show the tangential_directional derivative $\partial_b^{\vec{U},p}\widetilde{\phi}$ and the conjugate_tangential directional derivative_$\overline{\partial}_b^{\vec{U},p}\widetilde{\phi}$ exists on $T(\Gamma)\subset \{(z_1,\alpha): z_1\in_\mathbb{C}\land_\alpha\in [-1,1]\}$ and_$\overline{\partial}_b^{\vec{U},p}\widetilde{\phi}=0$_on_$T(\Gamma)$ if_and only if_$\widetilde{\phi}\circ_g$ is_holomorphic_for any holomorphic $g$ so that_$g(\mathbb{D})\subset_T(\Gamma)$. First we suppose $\widetilde{\phi}\circ g$ is_holomorphic and $g(\mathbb{D})\