 or a zero column. These columns can be made using any copy of the same column of $A_1[X,Y_1]$; so only one copy is needed. If any column of $A_1[X,Y_1]$ is a zero column, then any column indexed by an element of $Z$ that is made with this zero column can also be made as a column indexed by an element of $E-(Z\cup Y_0\cup Y_1\cup C)$ and choosing for the element of $\Lambda$ the zero vector. Thus, no zero columns of $A_1[X,Y_1]$ are needed.

In the binary case, $M(A_1[X,Y_1])$ has no parallel elements because any such elements index copies of the same column. Also, $M(A_1[X,Y_1])$ has no loops because every column of $A_1[X,Y_1]$ is nonzero. Therefore, $M(A_1[X,Y_1])$ is simple.

\[HL\] Let $\Phi$ be a binary frame template. Then at least one of the following is true:

-   $\Phi_0\sim\Phi$

-   $\Phi'\preceq \Phi$ for some $\Phi'\in\{\Phi_X,\Phi_C,\Phi_{CX},\Phi_{Y_0},\Phi_{Y_1}\}$

-   $\Phi$ is equivalent to a template where $C=\emptyset$, where $\Lambda$ and $\Delta$ are trivial, and where $A_1$ is of the following form, with $Y_0=V_0\cup V_1$, with $L$ an arbitrary binary matrix, and with each column of $H$ containing at most two nonzero entries:

      ----- ----- -----
       $I$    0    $H$
        0    $I$   $L$
      ----- ----- -----

   .

Suppose neither (i) nor (ii) holds. By Lemma  \[PhiCD\], we may assume that $\Lambda$ is trivial and $C=\emptyset$. By Lemma  \[PhiY0\], we may assume that $\Delta$ is trivial. By Lemma  \[PhiY1\], every dependent set of $M(A)=M(A_1[X_1,(Y_
or a zero column. These columns can be made using any copy of the like column of $ A_1[X, Y_1]$; therefore only one copy is need. If any column of $ A_1[X, Y_1]$ is a zero column, then any column index by an element of $ Z$ that is made with this zero column can besides be made as a column indexed by an element of $ E-(Z\cup Y_0\cup Y_1\cup C)$ and choose for the element of $ \Lambda$ the zero vector. Thus, no zero column of $ A_1[X, Y_1]$ are needed. 

 In the binary case, $ M(A_1[X, Y_1])$ has no parallel elements because any such elements index transcript of the same column. Also, $ M(A_1[X, Y_1])$ has no loop because every column of $ A_1[X, Y_1]$ is nonzero. Therefore, $ M(A_1[X, Y_1])$ is simple. 

 \[HL\ ] Let $ \Phi$ be a binary frame template. Then at least one of the come is true: 

 -    $ \Phi_0\sim\Phi$ 

 -    $ \Phi'\preceq \Phi$ for some $ \Phi'\in\{\Phi_X,\Phi_C,\Phi_{CX},\Phi_{Y_0},\Phi_{Y_1}\}$ 

 -    $ \Phi$ is equivalent to a template where $ C=\emptyset$, where $ \Lambda$ and $ \Delta$ are trivial, and where $ A_1 $ is of the following form, with $ Y_0 = V_0\cup V_1 $, with $ L$ an arbitrary binary matrix, and with each column of $ H$ containing at about two nonzero entries: 

       ----- ----- ----- 
        $ I$     0     $ H$ 
         0     $ I$    $ L$ 
       ----- ----- ----- 

   . 

 Suppose neither (i) nor (ii) holds. By Lemma   \[PhiCD\ ], we may assume that $ \Lambda$ is trivial and $ C=\emptyset$. By Lemma   \[PhiY0\ ], we may wear that $ \Delta$ is trivial. By Lemma   \[PhiY1\ ], every dependent set of $ M(A)=M(A_1[X_1,(Y _
 or a zero column. These colmmns can be made using eny copg of the same column of $A_1[X,Y_1]$; so only lnw copt is needed. If any coljmn of $A_1[X,J_1]$ is a zeeo cioumn, then ehy column indswed bv en element of $Z$ that is mdde with this sefo column can also be made as a columg indexrd by an element of $T-(Z\ctp Y_0\dlp Y_1\cup C)$ and choosing for the slement of $\Lambda$ thr zero vector. Thus, no zero colkmns of $A_1[X,Y_1]$ are nefded.

In the vinawt case, $M(A_1[X,Y_1])$ fas no parallel elemenjs because any such elements inddx co'ies of the sqme wolumn. Also, $M(A_1[X,Y_1])$ has no loops becausa every column of $A_1[X,Y_1]$ is nobzero. Therefore, $M(A_1[X,Y_1])$ ms simple.

\[HL\] Let $\Phi$ fe a binasy frame template. Tyeb at neasd ond of tht fplmowing is true:

-   $\Phj_0\sim\Phi$

-   $\Pyi'\preceq \Phi$ for soke $\Ini'\in\{\Phi_X,\Phi_C,\Lhi_{CX},\Pri_{R_0},\Phi_{Y_1}\}$

-   $\Phi$ is equivalent to a template whsre $C=\emptyset$, where $\Lamvda$ and $\Delta$ are trigial, and rhere $A_1$ is of the following form, with $Y_0=V_0\cup V_1$, witv $L$ ai xrbnbvary vijary matrix, and with each column of $H$ containyhg an most two nonzerj entries:

      ----- ----- -----
       $I$    0    $H$
        0    $I$   $L$
      ----- ----- -----

   .

Soppose neither (y) not (ii) holds. By Lemma  \[PhiCD\], ww may assume rhat $\Lambda$ is tririal and $C=\em'tyset$. By Lrmma  \[PhiY0\], we may assume thaf $\Delta$ is hrivial. Bg Lemma  \[PhiY1\], everh dvpengent set of $M(A)=M(A_1[X_1,(Y_
or a zero column. These columns can using copy of same column of is If any column $A_1[X,Y_1]$ is a column, then any column indexed by element of $Z$ that is made with this zero column can also be as a column indexed by an element of $E-(Z\cup Y_0\cup Y_1\cup C)$ and for element $\Lambda$ zero vector. Thus, no zero columns of $A_1[X,Y_1]$ are needed. In the binary case, $M(A_1[X,Y_1])$ has parallel elements because any such elements index copies the same column. Also, has no loops because every of is nonzero. $M(A_1[X,Y_1])$ simple. Let $\Phi$ be binary frame template. Then at least one of the following is true: - $\Phi_0\sim\Phi$ - $\Phi'\preceq \Phi$ some $\Phi'\in\{\Phi_X,\Phi_C,\Phi_{CX},\Phi_{Y_0},\Phi_{Y_1}\}$ is equivalent a where where $\Lambda$ and trivial, and where $A_1$ is of with $Y_0=V_0\cup V_1$, with $L$ an arbitrary binary and with column of $H$ containing at most nonzero entries: ----- ----- ----- $I$ 0 $H$ $I$ $L$ ----- ----- ----- . Suppose neither (i) nor (ii) holds. By Lemma \[PhiCD\], assume that $\Lambda$ is and $C=\emptyset$. By \[PhiY0\], may that is trivial. Lemma \[PhiY1\], every dependent set of $M(A)=M(A_1[X_1,(Y_
 or a zero column. These columns Can be made uSing aNy cOpy Of The sAme cOlumn of $A_1[X,Y_1]$; so onLY one Copy is needed. If any columN of $A_1[X,y_1]$ iS A zerO CoLumn, tHen any cOLuMN IndExEd By aN eLEmEnt of $z$ thAt is madE with this zEro CoLumn can also bE MaDe as a columN inDexed by an eleMenT of $E-(Z\cUp y_0\cuP y_1\cup C)$ And ChoosIng for THe elemEnt of $\LambDa$ THe zero VEctor. ThUS, No Zero Columns of $A_1[X,Y_1]$ are neEDeD.

in the binary casE, $M(A_1[X,Y_1])$ hAs NO pARAllEl eLements becAuSe any SUch elemENtS INDex COpies of the samE column. Also, $m(a_1[X,Y_1])$ Has no lOoPs bECause eVery cOlUMn oF $A_1[X,Y_1]$ is nonzeRo. ThErefore, $M(A_1[x,Y_1])$ is siMPle.

\[HL\] LeT $\phi$ be a bInary fRamE teMplaTE. THeN at LeASt oNE oF thE FolLowing is TrUe:

-   $\phi_0\siM\Phi$

-   $\pHI'\PReceQ \PhI$ for Some $\PHi'\in\{\Phi_X,\Phi_C,\PHi_{Cx},\Phi_{y_0},\phi_{y_1}\}$

-   $\Phi$ iS equiValeNt To a teMplate Where $c=\eMptyset$, where $\LamBda$ aNd $\Delta$ arE trIvIal, AnD wherE $a_1$ is of tHe fOllOwing foRm, with $Y_0=v_0\Cup v_1$, wITH $l$ aN arbitrary binary maTrIX, AnD with eacH columN Of $h$ cONtaining At MosT two NONzero EntrIEs:

      ----- ----- -----
       $i$    0    $H$
        0    $I$   $L$
      ----- ----- -----

   .

SuppOse neiTHeR (i) Nor (ii) hoLdS. By LemMa  \[phicD\], wE may aSSume That $\LaMbda$ is trIvial ANd $C=\emptyset$. By LEMma  \[PhiY0\], we may aSSuME ThAT $\DelTa$ iS trivial. By LEmma  \[pHiY1\], eVery DEpEndENt set Of $M(A)=M(a_1[X_1,(y_
 or a zero column. These c olumns can  be m ade  us in g an y co py of the same colu mn of $A_1[X,Y_1]$; so  only  o n e co p yis ne eded. I f  a n y  co lu mn  of  $ A _1 [X,Y_ 1]$  is a z ero column , t he n any column in dexed by a n e lement of $Z $ t hat is  m ade withthi s zer o colu m n canalso be m ad e  as ac olumn i n d ex ed b y an element of $ E -( Z \cup Y_0\cup Y _1\cup  C ) $a n d c hoo sing for t he  elem e nt of $ \ La m b d a$t he zero vecto r. Thus, no zer o colu mn s o f  $A_1[ X,Y_1 ]$ are  needed.

I n th e binarycase,$ M(A_1[X , Y_1])$has no  pa ral lele le me nts  b e cau s eany suc h elemen ts  i ndexcopi e s o f th e s amecolum n. Also, $M(A _1[ X,Y_ 1 ])$  hasno lo opsbe cause  every  colu mn  of $A_1[X,Y_1] $ is  nonzero.  Th er efo re , $M( A _1[X,Y _1] )$is simp le.

\[ H L\]  L e t $\ Phi$ be a binary f ra m e  t emplate.  Thena tle a st one o fthe  fol l o wingis t r ue :

-   $ \Phi_0 \ si m\ Phi$

-   $\Phi '\ pre ceq  \Phi $  for  some$\Phi'\i n\{\P h i_X,\Phi_C,\Ph i _{CX},\Phi_{Y _ 0} , \ Ph i _{Y_ 1}\ }$

-   $\P hi$i s eq uiva l en t t o  a te mplat ew he r e $C=\emptyset$, wh er e $\La mbda$  and $\Delta$  are trivi a l ,  and whe re $ A _1 $  is of the fol lowin g form, wi t h $Y_0=V _0\cu p V_1$,with $L$a n  arbitra rybin ary  ma t r ix , and with ea c h  col um n of $H $ c ontaini ngatmos t t wo  nonzeroentries: 
   --- -- -- - -- ----- 
    $I $   0     $H $
      0   $I $   $L$    -- -- ----- - - -- --

  .Sup pose ne ither (i)  no r  (ii )ho lds. By  Lemma  \[Phi CD \], we may  a ssu me tha t $\Lambda $ is trivial and $C=\em p tyset$.  By  Lemm a  \ [PhiY0\],  we  may a ssu m e that  $\Del ta$ i stri v i al. B y Le mma  \[PhiY1\], e ver y dep en dent  set of  $M(A)=M(A_1[X_1,( Y _
 or_a zero_column. These columns can_be made_using_any copy_of_the same column_of $A_1[X,Y_1]$; so_only one copy is_needed. If any_column_of $A_1[X,Y_1]$ is a zero column, then any column indexed by an element of_$Z$_that is_made_with_this zero column can also_be made as a column_indexed by_an element of $E-(Z\cup Y_0\cup Y_1\cup C)$ and_choosing_for the element_of $\Lambda$ the zero vector. Thus, no zero columns_of $A_1[X,Y_1]$ are needed.

In the binary_case, $M(A_1[X,Y_1])$ has_no_parallel_elements because any such_elements index copies of the same_column. Also, $M(A_1[X,Y_1])$ has no loops_because every column of $A_1[X,Y_1]$ is nonzero._Therefore, $M(A_1[X,Y_1])$ is simple.

\[HL\] Let $\Phi$_be a binary frame template._Then at_least one of the following_is true:

- _ $\Phi_0\sim\Phi$

-_  $\Phi'\preceq_\Phi$ for some $\Phi'\in\{\Phi_X,\Phi_C,\Phi_{CX},\Phi_{Y_0},\Phi_{Y_1}\}$

-  _$\Phi$ is equivalent_to a template where $C=\emptyset$, where_$\Lambda$_and $\Delta$ are_trivial,_and_where $A_1$_is of the_following_form, with_$Y_0=V_0\cup_V_1$, with $L$ an arbitrary binary_matrix,_and with each column of $H$ containing_at most two nonzero_entries:

_   _ ----- ----- -----
 _     $I$_ _ 0_   $H$
       _0    $I$ _ $L$
  _ __----- ----- -----

__ .

Suppose_neither (i) nor (ii) holds. By Lemma_ \[PhiCD\], we_may assume that $\Lambda$ is trivial_and $C=\emptyset$. By Lemma_ \[PhiY0\],_we may assume that $\Delta$ is_trivial. By Lemma  \[PhiY1\], every dependent_set of $M(A)=M(A_1[X_1,(Y_