3 +
\left( 2 \ell_2 + \min (\ell_{\textrm{CLG}, 1}, \ell_{\textrm{CNG}, 1}) + 2 \ell_1 + \ell_{\textrm{CLG}, 0} + \ell_{\textrm{CNG}, 0} \right) +
(6 +2z) \max_{t, x}|\textrm{CG}_x(t)|.$$

Since $ 2 \ell_2 + \min (\ell_{\textrm{CLG}, 1}, \ell_{\textrm{CNG}, 1})  + 2 \ell_1  + \ell_{\textrm{CLG}, 0} + \ell_{\textrm{CNG}, 0}  < 0.1\ell_3$, and since the length of a clique gadget $< 0.1\ell_3$, we have:

$$|A| <  m_1 - 0.8 z \ell_3 + 0.7 \ell_3.$$

Therefore, $|A| < m_1 < \text{RNA}(S_G)$ if $z > 0$. Hence we must have $z = 0$, i.e. all $0'$ in all ${0'}^{\ell_3}$ are paired up with some $0$ in some $0^{\ell_4}$.

To proceed further, some terminologies are needed to formally define the Property 2:

Let $A$ be an RNA folding of a sequence where $S_1, S_2$ are two substrings (subsequences of consecutive elements). We write $S_1 \overset{A}\longleftrightarrow S_2$ iff

-   there exists $\{x_1, x_2\} \in A$ with $x_1 \in S_1, x_2 \in S_2$.

-   $S_1, S_2$ are disjoint substrings.

For example, “$\textrm{CG}_x(t_{1})$ is blocked in $A$” is equivalent to “there exist no $y \in \{\alpha, \beta, \gamma\}$, $t_2 \in \mathcal{C}_k$ such that $\textrm{CG}_x(t_{1}) \overset{A}\longleftrightarrow \textrm{CG}_y(t_{2})$”.

$\mathcal{M}_\alpha$ is defined as the
3 + 
 \left (2 \ell_2 + \min (\ell_{\textrm{CLG }, 1 }, \ell_{\textrm{CNG }, 1 }) + 2 \ell_1 + \ell_{\textrm{CLG }, 0 } + \ell_{\textrm{CNG }, 0 } \right) + 
 (6 +2z) \max_{t, x}|\textrm{CG}_x(t)|.$$ 

 Since $ 2 \ell_2 + \min (\ell_{\textrm{CLG }, 1 }, \ell_{\textrm{CNG }, 1 })   + 2 \ell_1   + \ell_{\textrm{CLG }, 0 } + \ell_{\textrm{CNG }, 0 }   < 0.1\ell_3 $, and since the length of a clique gadget $ < 0.1\ell_3 $, we have: 

 $ $ |A| <   m_1 - 0.8 z \ell_3 + 0.7 \ell_3.$$ 

 consequently, $ |A| < m_1 < \text{RNA}(S_G)$ if $ z > 0$. therefore we must receive $ z = 0 $, i.e. all $ 0'$ in all $ { 0'}^{\ell_3}$ are pair up with some $ 0 $ in some $ 0^{\ell_4}$. 

 To go further, some terminologies are necessitate to formally define the Property 2: 

 Let $ A$ be an RNA protein folding of a sequence where $ S_1, S_2 $ are two substrings (posteriority of consecutive elements). We compose $ S_1 \overset{A}\longleftrightarrow S_2 $ iff 

 -    there exist $ \{x_1, x_2\ } \in A$ with $ x_1 \in S_1, x_2 \in S_2$. 

 -    $ S_1, S_2 $ are disjoint substrings. 

 For example, “ $ \textrm{CG}_x(t_{1})$ is blocked in $ A$ ” is equivalent to “ there exist no $ y \in \{\alpha, \beta, \gamma\}$, $ t_2 \in \mathcal{C}_k$ such that $ \textrm{CG}_x(t_{1 }) \overset{A}\longleftrightarrow \textrm{CG}_y(t_{2})$ ”. 

 $ \mathcal{M}_\alpha$ is defined as the
3 +
\levt( 2 \ell_2 + \min (\ell_{\textrm{CLN}, 1}, \ell_{\textrm{CNG}, 1}) + 2 \ell_1 + \ell_{\testrm{CLG}, 0} + \ell_{\textrm{CNG}, 0} \right) +
(6 +2z) \max_{v, x}|\twxtrm{XG}_x(t)|.$$

Since $ 2 \ell_2 + \min (\eul_{\textrm{CPG}, 1}, \ell_{\twxtrn{XNG}, 1})  + 2 \ell_1  + \ell_{\tcrtrm{CMN}, 0} + \eno_{\textrm{CNG}, 0}  < 0.1\gll_3$, and sinca the length ox x elique gadget $< 0.1\ell_3$, we have:

$$|A| <  m_1 - 0.8 z \qll_3 + 0.7 \ekl_3.$$

Hherefore, $|A| < m_1 < \teqt{WNA}(S_F)$ if $z > 0$. Hence we must have $z = 0$, i.e. all $0'$ ii all ${0'}^{\ell_3}$ are psired up with some $0$ in somf $0^{\elp_4}$.

To proceed furtheg, some termunoljties are neeaed to formally define the Property 2:

Let $A$ be an RNA fuldiny of a sequguxe avere $S_1, S_2$ arx two fubstrings (smnsequetces of consecutive ekemxnts). We write $S_1 \overset{A}\lmngleftrightarrow F_2$ iff

-   tvexe exists $\{x_1, x_2\} \in A$ wirh $x_1 \in S_1, x_2 \in R_2$.

-   $R_1, S_2$ ace sisjoijt aubstrings.

Ror example, “$\textrm{CG}_x(t_{1})$ is blocleq in $A$” is equibalent tj “there exist no $y \in \{\alpha, \beta, \gamma\}$, $u_2 \in \jathcal{C}_k$ such that $\texrrm{CG}_x(t_{1}) \overset{A}\longlgftrightarwow \textrm{CG}_y(t_{2})$”.

$\mathcal{M}_\alpha$ is defined as the
3 + \left( 2 \ell_2 + \min \ell_{\textrm{CNG}, + 2 + \ell_{\textrm{CLG}, 0} (6 \max_{t, x}|\textrm{CG}_x(t)|.$$ Since 2 \ell_2 + (\ell_{\textrm{CLG}, 1}, \ell_{\textrm{CNG}, 1}) + 2 + \ell_{\textrm{CLG}, 0} + \ell_{\textrm{CNG}, 0} < 0.1\ell_3$, and since the length of clique gadget $< 0.1\ell_3$, we have: $$|A| < m_1 - 0.8 z \ell_3 0.7 Therefore, < < \text{RNA}(S_G)$ if $z > 0$. Hence we must have $z = 0$, i.e. all $0'$ all ${0'}^{\ell_3}$ are paired up with some $0$ some $0^{\ell_4}$. To proceed some terminologies are needed to define Property 2: $A$ an folding of a where $S_1, S_2$ are two substrings (subsequences of consecutive elements). We write $S_1 \overset{A}\longleftrightarrow S_2$ iff - exists $\{x_1, A$ with \in x_2 S_2$. - $S_1, disjoint substrings. For example, “$\textrm{CG}_x(t_{1})$ is is equivalent to “there exist no $y \in \beta, \gamma\}$, \in \mathcal{C}_k$ such that $\textrm{CG}_x(t_{1}) \overset{A}\longleftrightarrow $\mathcal{M}_\alpha$ is defined as the
3 +
\left( 2 \ell_2 + \min (\ell_{\textrm{CLG}, 1}, \ell_{\Textrm{CNG}, 1}) + 2 \eLl_1 + \ell_{\TexTrm{cLg}, 0} + \ell_{\TextRm{CNG}, 0} \right) +
(6 +2z) \max_{T, X}|\texTrm{CG}_x(t)|.$$

Since $ 2 \ell_2 + \min (\ell_{\tExtrm{cLg}, 1}, \Ell_{\tEXtRm{CNG}, 1})  + 2 \Ell_1  + \ell_{\tEXtRM{cLG}, 0} + \ElL_{\tExtRm{cnG}, 0}  < 0.1\Ell_3$, anD siNce the lEngth of a clIquE gAdget $< 0.1\ell_3$, we haVE:

$$|A| <  M_1 - 0.8 z \ell_3 + 0.7 \ell_3.$$

ThEreFore, $|A| < m_1 < \text{RNa}(S_G)$ If $z > 0$. HenCe We mUSt havE $z = 0$, i.E. all $0'$ iN all ${0'}^{\elL_3}$ Are paiRed up with SoME $0$ in somE $0^{\Ell_4}$.

To prOCEeD furTher, some terminoloGIeS Are needed to forMally dEfINe THE PrOpeRty 2:

Let $A$ be aN RnA folDIng of a sEQuENCE whERe $S_1, S_2$ are two subStrings (subsEQueNces of CoNseCUtive eLemenTs). wE wrIte $S_1 \overset{a}\lonGleftrighTarrow s_2$ Iff

-   therE Exists $\{x_1, X_2\} \in A$ wiTh $x_1 \In S_1, X_2 \in S_2$.

-   $s_1, s_2$ aRe DisJoINt sUBsTriNGs.

FOr examplE, “$\tExTrm{CG}_X(t_{1})$ is BLOCKed iN $A$” iS equIvaleNt to “there exisT no $Y \in \{\aLPha, \Beta, \gAmma\}$, $t_2 \In \maThCal{C}_k$ Such thAt $\texTrM{CG}_x(t_{1}) \overset{A}\loNgleFtrightarRow \TeXtrM{Cg}_y(t_{2})$”.

$\maTHcal{M}_\aLphA$ is Defined As the
3 +
\left( 2 \ell_2 + \min  (\ell_{\t extrm {CL G},  1 }, \ ell_ {\textrm{CNG}, 1})+ 2 \ell_1 + \ell_{\te xtrm{ CL G }, 0 }  +  \ell _{\text r m{ C N G},  0 }\ri gh t )+
(6+2z ) \max_ {t, x}|\te xtr m{ CG}_x(t)|.$$ 
S ince $ 2 \ ell _2 + \min (\ ell _{\tex tr m{C L G}, 1 },\ell_ {\text r m{CNG} , 1})  +2\ ell_1+ \ell_ { \ te xtrm {CLG}, 0} + \ell_ { \t e xtrm{CNG}, 0} < 0.1 \e l l_ 3 $ , a ndsince thele ngtho f a cli q ue g a dge t  $< 0.1\ell_3 $, we have: 
$$ |A| < m _1-  0.8 z  \ell _3 + 0 .7 \ell_3.$ $

T herefore,  $|A|<  m_1 <\ text{RN A}(S_G )$if$z > 0$ .Hen ce wem us t h a ve$z = 0$,  i .e . all  $0' $ i n  all  ${ 0'}^ {\ell _3}$ are pair edup w i thsome$0$ i n so me  $0^{ \ell_4 }$.
To  proceed furthe r, s ome termi nol og ies  a re ne e ded to  fo rma lly def ine the Pro pe r t y  2 :

Let $A$ be an R NA f ol ding ofa sequ e nc ew here $S_ 1,  S_ 2$ a r e  twosubs t ri ngs (sub sequen c es  o f conse cu tive e le men ts) . Wew rite  $S_1\overset {A}\l o ngleftrightarr o w S_2$ iff

-  t h er e  exi sts  $\{x_1, x_ 2\}\ in A $ wi t h$x_ 1  \inS_1,x_ 2  \ i n S_2$.

-   $S_1,S_ 2$ are  disj oint substrin gs.

For e x a m ple, “$\ text r m{ C G}_x(t_{1})$ i s blo cked in $A $ ” is equ ivale nt to “t here exis t no $y \i n \ {\a lph a,\ b et a, \gamma\}$, $ t_2\i n \math cal {C}_k$suc h t hat  $\ te xtrm{CG}_ x(t_{1})  \ ov er se t{A }\lon g leftrigh ta rro w\te xtrm{ C G}_y(t _{2}) $”.
$ \m a thc al{M}_\ a lp h a $ is  d ef ined  as  t he
3 +
\left(_2 \ell_2_+ \min (\ell_{\textrm{CLG}, 1},_\ell_{\textrm{CNG}, 1})_+_2 \ell_1_+_\ell_{\textrm{CLG}, 0} +_\ell_{\textrm{CNG}, 0} \right)_+
(6 +2z) \max_{t, x}|\textrm{CG}_x(t)|.$$

Since_$ 2 \ell_2_+_\min (\ell_{\textrm{CLG}, 1}, \ell_{\textrm{CNG}, 1})  + 2 \ell_1  + \ell_{\textrm{CLG}, 0} +_\ell_{\textrm{CNG},_0} _<_0.1\ell_3$,_and since the length of_a clique gadget $< 0.1\ell_3$,_we have:

$$|A|_<  m_1 - 0.8 z \ell_3 +_0.7_\ell_3.$$

Therefore, $|A| <_m_1 < \text{RNA}(S_G)$ if $z > 0$. Hence we_must have $z = 0$, i.e._all $0'$ in_all_${0'}^{\ell_3}$_are paired up with_some $0$ in some $0^{\ell_4}$.

To proceed_further, some terminologies are needed to_formally define the Property 2:

Let $A$ be_an RNA folding of a sequence_where $S_1, S_2$ are two_substrings (subsequences_of consecutive elements). We write_$S_1 \overset{A}\longleftrightarrow S_2$_iff

- _ there exists_$\{x_1, x_2\} \in A$ with $x_1_\in S_1, x_2_\in S_2$.

-   $S_1, S_2$_are_disjoint substrings.

For example,_“$\textrm{CG}_x(t_{1})$_is_blocked in_$A$” is equivalent_to_“there exist_no_$y \in \{\alpha, \beta, \gamma\}$, $t_2_\in_\mathcal{C}_k$ such that $\textrm{CG}_x(t_{1}) \overset{A}\longleftrightarrow \textrm{CG}_y(t_{2})$”.

$\mathcal{M}_\alpha$ is_defined as the