<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML">
<mml:semantics> <mml:mrow> <mml:mtable columnalign="left"> <mml:mtr columnalign="left"> <mml:mtd columnalign="left"> <mml:mrow> <mml:mtext>for&#160;all&#160;</mml:mtext>
<mml:mo stretchy="false">(</mml:mo>
<mml:mn>1</mml:mn>
<mml:mo>&#8804;</mml:mo>
<mml:mi>i</mml:mi>
<mml:mo>&#8804;</mml:mo>
<mml:mi>n</mml:mi>
<mml:mo stretchy="false">)</mml:mo>
<mml:mo>,</mml:mo>
<mml:mo stretchy="false">(</mml:mo>
<mml:mn>1</mml:mn>
<mml:mo>&#8804;</mml:mo>
<mml:mi>k</mml:mi>
<mml:mo>&#8804;</mml:mo>
<mml:mi>r</mml:mi>
<mml:mo stretchy="false">)</mml:mo>
<mml:mo>,</mml:mo>
<mml:mtext>s</mml:mtext>
<mml:mtext>.t</mml:mtext>
<mml:mtext>.&#160;</mml:mtext>
<mml:mi>i</mml:mi>
<mml:mtext>&#8201;</mml:mtext>
<mml:mtext>is&#160;not</mml:mtext>
</mml:mrow>
</mml:mtd>
</mml:mtr>
<mml:mtr columnalign="left"> <mml:mtd columnalign="left"> <mml:mrow> <mml:mtext>genetically&#160;perturbed&#160;in&#160;the&#160;</mml:mtext>
<mml:mi>k</mml:mi>
<mml:mtext>-th&#160;experiment</mml:mtext>
</mml:mrow>
</mml:mtd>
</mml:mtr>
<mml:mtr columnalign="left"> <mml:mtd columnalign="left"> <mml:mrow> <mml:mrow> <mml:mo>{</mml:mo>
<mml:mrow> <mml:mtable> <mml:mtr> <mml:mtd> <mml:mrow> <mml:msubsup> <mml:mi>x</mml:mi>
<mml:mi>i</mml:mi>
<mml:mi>k</mml:mi>
</mml:msubsup>
</mml:mrow>
</mml:mtd>
<mml:mtd> <mml:mo>&#8776;</mml:mo>
</mml:mtd>
<mml:mtd> <mml:mrow> <mml:mtable> <mml:mtr> <mml:mtd> <mml:mrow> <mml:mstyle displaystyle="true"> <mml:msub> <mml:mo>&#8721;</mml:mo>
<mml:mrow> <mml:mi>j</mml:mi>
<mml:mo>&#8594;</mml:mo>
<mml:mi>i</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mrow> <mml:msub> <mml:mi>S</mml:mi>
<mml:mrow> <mml:mi>j</mml:mi>
<mml:mi>i</mml:mi>
</mml:mrow>
</mml:msub>
<mml:msubsup> <mml:mi>x</mml:mi>
<mml:mi>j</mml:mi>
<mml:mi>k</mml:mi>
</mml:msubsup>
</mml:mrow>
</mml:mstyle>
</mml:mrow>
</mml:mtd>
<mml:mtd> <mml:mrow> <mml:mtext>if&#160;all&#160;predecessors&#160;</mml:mtext>
<mml:mi>j</mml:mi>
</mml:mrow>
</mml:mtd>
</mml:mtr>
</mml:mtable>
</mml:mrow>
</mml:mtd>
</mml:mtr>
<mml:mtr> <mml:mtd> <mml:mrow/>
</mml:mtd>
<mml:mtd> <mml:mrow/>
</mml:mtd>
<mml:mtd> <mml:mrow> <mml:mtext>are&#160;not&#160;genetically&#160;perturbed</mml:mtext>
</mml:mrow>
</mml:mtd>
</mml:mtr>
<mml:mtr> <mml:mtd> <mml:mrow> <mml:msubsup> <mml:mi>x</mml:mi>
<mml:mi>i</mml:mi>
<mml:mi>k</mml:mi>
</mml:msubsup>
</mml:mrow>
</mml:mtd>
<mml:mtd> <mml:mo>&#8776;</mml:mo>
</mml:mtd>
<mml:mtd> <mml:mrow> <mml:mo>&#8722;</mml:mo>
<mml:msub> <mml:mi>S</mml:mi>
<mml:mrow> <mml:mi>M</mml:mi>
<mml:mi>i</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo>+</mml:mo>
<mml:mstyle displaystyle="true"> <mml:msub> <mml:mo>&#8721;</mml:mo>
<mml:mrow> <mml:mi>j</mml:mi>
<mml:mo>&#8594;</mml:mo>
<mml:mi>i</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>j</mml:mi>
<mml:mo>&#8800;</mml:mo>
<mml:mi>M</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mrow> <mml:msub> <mml:mi>S</mml:mi>
<mml:mrow> <mml:mi>j</mml:mi>
<mml:mi>i</mml:mi>
</mml:mrow>
</mml:msub>
<mml:msubsup> <mml:mi>x</mml:mi>
<mml:mi>j</mml:mi>
<mml:mi>k</mml:mi>
</mml:msubsup>
</mml:mrow>
</mml:mstyle>
</mml:mrow>
</mml:mtd>
</mml:mtr>
<mml:mtr> <mml:mtd> <mml:mrow/>
</mml:mtd>
<mml:mtd> <mml:mrow/>
</mml:mtd>
<mml:mtd> <mml:mrow> <mml:mtext>if&#160;</mml:mtext>
<mml:mi>M</mml:mi>
<mml:mtext>&#8201;</mml:mtext>
<mml:mtext>is&#160;knocked-out</mml:mtext>
<mml:mtext>.</mml:mtext>
</mml:mrow>
</mml:mtd>
</mml:mtr>
<mml:mtr> <mml:mtd> <mml:mrow> <mml:msubsup> <mml:mi>x</mml:mi>
<mml:mi>i</mml:mi>
<mml:mi>k</mml:mi>
</mml:msubsup>
</mml:mrow>
</mml:mtd>
<mml:mtd> <mml:mo>&#8776;</mml:mo>
</mml:mtd>
<mml:mtd> <mml:mrow> <mml:msub> <mml:mi>S</mml:mi>
<mml:mrow> <mml:mi>M</mml:mi>
<mml:mi>i</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo>+</mml:mo>
<mml:mstyle displaystyle="true"> <mml:msub> <mml:mo>&#8721;</mml:mo>
<mml:mrow> <mml:mi>j</mml:mi>
<mml:mo>&#8594;</mml:mo>
<mml:mi>i</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>j</mml:mi>
<mml:mo>&#8800;</mml:mo>
<mml:mi>M</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mrow> <mml:msub> <mml:mi>S</mml:mi>
<mml:mrow> <mml:mi>j</mml:mi>
<mml:mi>i</mml:mi>
</mml:mrow>
</mml:msub>
<mml:msubsup> <mml:mi>x</mml:mi>
<mml:mi>j</mml:mi>
<mml:mi>k</mml:mi>
</mml:msubsup>
</mml:mrow>
</mml:mstyle>
</mml:mrow>
</mml:mtd>
</mml:mtr>
<mml:mtr> <mml:mtd> <mml:mrow/>
</mml:mtd>
<mml:mtd> <mml:mrow/>
</mml:mtd>
<mml:mtd> <mml:mrow> <mml:mtext>if&#160;</mml:mtext>
<mml:mi>M</mml:mi>
<mml:mtext>&#160;isover-expressed</mml:mtext>
<mml:mo>.</mml:mo>
</mml:mrow>
</mml:mtd>
</mml:mtr>
</mml:mtable>
</mml:mrow>
</mml:mrow>
</mml:mrow>
</mml:mtd>
</mml:mtr>
</mml:mtable>
</mml:mrow>
</mml:semantics>
</mml:math>