diff --git a/diagram_splittinglemma.pdf b/diagram_splittinglemma.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..6a52a067616df8b72b25a2617d826b2ebaa7add4
GIT binary patch
literal 12314
zcma)?1#BJ7lBmsa%oMYIOfki9%*@Qp%*+fiGqW8tGc&UtW6TgUGgHhj|L(ogO7}^-
zqmia+rn<VPHC3vf{wNeg#OOfutN@Cch2a$d2apkHZ)64F;Q=tnnA(}USOA$gS($<V
zbpRN|ENxs&oq!BtHij;yBBsXnCZ+&BK7g}}lc}LCz~gtZPJiq{3tHDN_2YB`BC^OL
z5nUv5g#DHq0(2a{7_?u8?EcPUS7BF@y1E<t^U)Y9n+aB0!<VP6-y-Mkc;30D=F`%i
zgL3QNIprNAt<zgs=%mZmxVnA)o^7o_`X%Dq69jX56Zg3%;9+i(uUD`44Z)@xr-$;!
z8d9&Y{G2keTP10kpYKx`>wm^yvBE`$81KajUBC&$@b@>8|LmFeJO8}vp^v+>=S!bR
zQEnFq%G^I|X=Vxk9$s8m>N#Cuh3rjl$#0T^QCR8U8oR%QG<-`B+NZeUwsaxSp{yWn
z?CRr+ot3!qy~s@w#)RTXRT3R@`k|bD_C>veG%a2#L!HPryxK6kwIFx0E5udvvG9(=
z@CJO7D^Z&rGb-0Pyz$v4H-ea$J1hRr|L`;f%aNKW67XUTzxIQ@!>HO&E(+HM>cX&`
zLQJB!d9}<pcsUG@!|>!EN14PCDf-KGi|r|3CCn!riqHuuuuG1JFkV-uA6e)H9R|Yi
zk})(#&7oOo6mwXw1T7q+L&iw;IKShq1I}O3AFKI-IZ!ljF*;n+wmJkgZaTtr*wEi5
z+hmfz8}<iyM$U3v`A+4g2(rL>NQ6_15%^OY@{M*;G25|cB#1va7f+T9K0hHnoBqfL
znY)wK6Cx9U(Sux4g~jxrl&KrCj9OIf&ugxga3-~icWq!2k8y(UIgWQ%*_#pIg31HH
z;o36-4f+JJe;sn>4bS*8E%Ap1>L8>bg~D)B5@KldH}q%K(@Zasm_`fMi%~(ms<1g}
zmK7Qn<SBuZTq&a>!_%afRZe_#&oYvuRMdzq)0nqo3z-H98XR>RLr|t)q%<3bjM)`M
zl6(~d@EWvi8_9=u;C&@jpaEK?ME1*vNYX7YV#?;SAhrjMs~`V1L3(Ky%OJV`*>Qhu
zRjR_8$85Vjl2a52qB=wX$$6{Mb8wiXprYwX`o}jy1iu5~@S14L(jP6-O^`}z*p`XR
zkFX(3gYt!^=Wo))v!a$CePR#TN^p9`z7}4jZ8JF{rajpIjJuS1P|L%Q;PrJd4#<q#
zL7E^bt9@<9WOU8oU6}8r?ZSj<%&Fm6Q)0itN1bQ%nvv}|KM88by>sU;Od6zt^8-^g
z|8{-?`6+nYZLKL!47d$YSXw9+oSq+rQmeCJJUWSNq?5!oRtTO6qR-(ae6dQu7r^z8
z|JxLXz~$y|OD)6=N@HGMs-Lhzn#yTvobtpN9Q`)6Ri(5thvce=Adt~9cq0t9H&@dv
z<E(tSf7vk2S24t|>CLs&Klm(hoM2OGXPU>nUP8o17DP4AP6jKpl@|S{=L7J)69FT6
zE1)3`B<=R?lXz7j5f2J*AtD5YEF2z2YkdXK#Vq3(o{X+-4e#`PEmT7ZJ)u($eKx1=
z*g5VE=c8jCj_WIfN#pxctPerhny9@5{ah$|OZuCD&GEZiik&4=Yd<op?yS6NnNw_B
z@k@K>z(ij>t8?Ez<9l}ic)d#4pYMj#YJ3_!#t~Z#FJl^5Lv&DOZ`H8eo_;|E<xj1w
zOJm|zI#DV};nN&s#Aq7zOv2N{;7QH*&fVak2P3m53_9;W23#Y_8}hsRWq<*6frIK`
zx-NDC+3r?q>m4%I8qo?Ek+`g&IJhj063L~WfQr^Uf0D0&?K}kYyU;2;iaA;g)CZ;E
zU;z{#4sUn)3dpB&oGT(K$8vd7#Hsov-nQT6D!9%)bd30@iNry>Z8JOfCJOz{Bw-@q
z2IJttI+%GLbRGtyH9w4AAW%6G6!kMMqVCQS94o*{D(-BuayEtK3GNY52<muu+^@#O
z-y6XfxO~>HLl*$N@$r<H8yq$(L8F96kO}>JNy4J~7s}v=R7ao@)V&_8+p|kNhM@i`
zQ(8H@-PTCB0Xy`js}`%3x=tj*jk^=~fS-I=Lph0zuG)&{%Rz*d%#OXIrrlmtgUvk7
zEO~4rs}Jb|kts-r1lo>F7`?ZYaO|)eC+@WNk7stiHPU~+E6QJ%1MSd)%R3tlI*Hc(
zvm#!#zgRB{<JKHx6oNO4PFIg&%6(fSvt9vImbOXepsx5+&HiezS>Dj8O7db4Nb;tE
zVMcX7<_X^LGGH~|+{}trjw5eVF^i41w6D@csdcAOh2-jmnSOLuV+<_v;&rG$T`D+=
z5OC0`fNQ4|XeZ$Bv|u{}KjEyJ8o+(1d$ZO&v=F$6zB|QHmT=Wpe<(p;Qj$6a??V3K
ztZ_#`+a;;_C#1S9I31vwZlV|=6+f?l)n*xez5a4DiEs2X3WCD3U=IQ%fE%kOnHo$9
zu+~Gzz4~XHh9L&JI%%FEnoe?DUZG2=B)k6=VO%0ru6tHMG3OX8VIH04yNrv+PJddu
zZ4?!%DV45z?Nw6aAM1@s(OEY0+g}n@{;Pr0M<>`LO+|T>RC>}ud@prUxMSC<j)3GI
zR6^jbq0n%31hRaqPsHUF4s-!x@!9DEk_&?Wf4LB7h4K*Fg>oTmsstNYT`9@|g{!aS
z#oEaP#-%}4utQ6!ha<=TW(n9m7%$<@=;^ZP6b~p9I`L`l@pSWapw<Kdxy-TQ<Z-f`
z77OfR@_Oq=D4Tf%Z@dVK67W?H28{$m#Nt_k!od=vXlc}Hb-dWmtZ7>;F{z$uwbe`Q
ze`xdQoT+|`?0G&A)*9?O%`^Zl#w-13CG!6)p(|>$eGwoeKR=)j!&{>k<#m!k0Kt<+
z!GfJWZnwJ*W;8=K6mUppue5b38&LKuV5#TzuLHo^>c8PW!2?Fs9CyxuCZFn_ta3wS
zYy#(>kpp!p$Ss$r6KbZB!f4}5s%J%ym;6hU3)x7Ay7+DNxRQJDfHYCn(_x^=uTUvW
zN-cDJ;G>PGVS^Mbt=mI;9NTa{oatGGYk~JDk+s=bO9gi+^dt<4X0#v&nU&HfCf8o$
zO!%&dq!FYDUnMXa&BiLXro{rQlw%>!rbmsk&3QFnr{&N}z&<{3EkifaBXD3zAxVSy
zc!4M%#YjYW7kuau4l@*n-j!Efqh3on%cRysH$~3cJhoT%h`r+D{mg~n?LzuV!WD(J
z*7aoCIQ_`%;px|MmQy=_R!zNW==9jL@9TH#nJ%#y%|Uc)nsHKpo~YD2eA3{(L)eZR
ziNqK&$pQ9p4QV{Ss1L&d_30kIgp*ZiImeB(7bqE|^}D_I9hH`6N9`X^ZKii@D**%y
zVnw%%aKXh2w>sDb5Jp=t-2E$kN<>#Exhl?O)>;*w_~!z#?qt(LsG<9Ui;EsNY%7$(
z1blwU$T5Or=u={H_uIE%e+EkxZ+Dcw0^gFc^U6w93K)40c)>mptuU2fmDP9dO1pZ6
zMZPOgks*R46Hsh8z)}?oMer%WgyIYX0>EJT2*7B64rcvLeLnX%j~Fk!YsTNC<qqI+
z@Y_V*S4AN?*$i6SM+yuwf1c@`B11r*e>n#a6hP_l0FHjGG9K>JrO90lZzermz|TBb
z?+r!}59p~Dy-2<M5X~lN>00kC!T(j8x%s)b*Ls!o4ya{Zw~{uLy)f^LnskpO*3<vE
zPkY6P2%DFy{mhz<C)<5UJ1OOV`!kxW|M_xzq&|}#FLs+E#*yf=pFX`sn46gUJ7!YP
zTK3QL9oee>r9L@rz8&XgZ;wc$uH{olaY@XKeXvj^4E<E&**Zs<fi~8pqb)O*J|9#o
zZ&CGz!B&5DHHFe@n1=R8Xp56oZjgOePrw#2-J8@^nSLuf8}D*s_lcjieWj)3@&&JO
zS-0QQ1uIESw|HW2ZFhZ>tIqEvYkOPw=)0Fco4{slDt9N_r@4#i(rCd;a(d#x^>L2c
z{DpP3IOBzTC25@2^c*^!Cl5R0#g|W4PI`*{*YS&jDRg1qkFcx8n41_r=7(y#&yTa4
zBk@n?fKQ0`SLGvssh!EcYVyC*KlMC_<v$905D>(|1p0TG&je)SU}FEb#tdZqw+Lis
z=VblA*8ef?uqsJwb8K^&fN%*)8en$trgtqMUlIuwm`qNdfIP=7btT&&bp=$d@Tbz{
zl1M1<zn>2Cn(lsD|I|NwRa=sJoaABlHoH3VT*gm*jdN``twu{#pnxJ6MA`+91m9<6
zRTUHfL;d*+66zMMvCiKRNBnr}yU`b4Dgcsj-|z<{NnD^1<1!yK+#z0Bgg@j$4kv`b
z8(4fij)Vpx9Mm;<K!G158WqSNVhGv{X=We1jAUDZ1r)^taS|K2`rEMP>De3JpwS4{
zUqm#d{d*~-Np>DpIu;c2Ot8Uup4>9GmLLIm2OKR9=H5pfx(&J;4x&<Y+VbLJ3hZw1
zp<td(@k%>b4P!K+0BmGvfll6%zdjjc6HsoZS8R{O4BY?1;Fup=HyCLID=-kEhA@_q
zmWseP`xem-Nff-s9rn1w3alwX;SX`$2r(G;cI_azzlXpl&6E0Ltq|j%E0gdPtO0oV
zfX>0~7BKvDGR(Z{qW&PqK?iW4!<oK7I2oQ}Hi~0F9|1|~vj0}KFql+>JXri0{O1o8
z+mJvKkOdLT<jrz)SMRtEaU<!v7SYZ=REY7+Q16Sfe}10Y^3mn=>+%6tA6kvWuU<NQ
zob}&_%Q#EF;=8;Y((jndDhBk^t+8)<eOnX|1yHF-CmBfL{J9|W?9|-4dfC7_$?|)H
z^7JpyaJzUD;K=(9y%5XTCt<wah0h~G+XTRI7MROgkNjXhEYX4lz^v1;U<}}!L;52=
zb>Dv@H9s5cZ}9^TVHjcb=24))K3?9eO}(ZVt)bRu-?y%})F&$;m*(b~_TQ}c{h$x_
zQSHFw?Y{GYvF8F&!5{$PV8ON6o1ay8I1sOuai2d`L)L&`y^-&yPcL~Nm#YU1=ymVK
zsBV4yQI;e%<p|Jq@0llG1qAaJAFz)<C!e;cKly)rR^0Y7z4vk}c^w}A;huhkz5W~`
zkz*8p>P1~%@C|KG4fwjNg?RlLiYM@Cp^jmN<b8O*rKpOyuZ7&;ux2gg90cXz58?O5
z*n~cbWc7{{THo+0oXP*aTR+e_xIaG*&0?iieA4v`>L2}j>l95+9e%Ny<@Gm=z`R<D
zuxH<dUYq0QvX9j;(sh90yR@%Qpb!`w0NRnVr{~RD8g(1KBek4$;ex#ryo<*H>W~ZC
zfwz&p4<>;0!*!PQ4NPxCzlJ{*&VTuOE0xNB`MC8Vj;=Z<UtyW|{czls-*2sV5hbKU
zusWP_6isb6;4vjYcJ!dZrDmNr2;F0CY&6toJ;>86IGujj@NQURBl@2Dfn6#o8%V+Y
zsz%3ov^Uuv!Talgro_rUK-lhUF{}31iQ}8fLHt6;9PxXU5&LE1ZYGIjV@z5RS3_R2
zaG*6=VoS@#oN4>TLs`R~bQUeGX+mP1mO_%6w6>>W2Mkts*~e2YS31mu-gV?Q-$P+l
ztsDbnDyi&1Vv`banRHVY>S#x50^R-n!*skmQ<M0g^7cQq=Zvt%Ke2|rPq3ii#_!FY
z?6S?VI&4amJhW)G5>}foy|{nnc<7WjTeo&~T6*Qu^~kPFlWu-Rzu(vk4j|wZrcR3<
zpVmcc&6!3t94J3ah~ySJb1&*s+5DB_W9p!Q0I%epi+6#e#o<?yQ)Km4&K(~k&8&9Y
z;PKq)jwJ1z93{)>wpVy7a%(CoSK;!AWS{AuWoI@Togv(krwGYsoM6)VwN9l!+QOi)
zmV}f4Qx;ppseF@e^M^ez)U#Mv4iQ8er#Bs)Q<d_xDcUtvq(odu1#ay^mwM?Ma1&)w
zjT$TAmZ(N9DooGRE~*5NS1#P=3O(*CWj`?j#y$fnnh{vZ<T8HsPJrS9PmCdoR7o0_
zFbYmoePMNdWK+Xd&gHA3@3|O@;SEM7=Cf#yotKV{Q7J@Ic)}u)hdt32)-thOGuG+Y
z32A@okNu7p>c#Y;i^{Lt<Ol?R*Cn-t_S<>q4>miK`Bpk5s1*8$fxOz!MYz3Hbk1wj
znXl6<Yf+gW$?{&1OUC+QY-9B2>?WdhaVj%0A3$50#Cx)RG~ahRU+3Jd)L1tL-P<oo
zj!~TRDF;{sZ<nzI-QPFgEL;8f1uts)Axnr^RwkNpEw8YFooC^tQWh6Dk9~i5Qf;k!
zHei+|s@*BbXp~?9o3Px$^SB^gG5FRW-&NH8&vR2@R=#Wu*h6c!uoP8x2Y6^Ut%zc2
z@tNDZvjSFHn9QJmk6x+Z8NqiFuc2>AwiM1*Ba9mkdtb^1bnO#u*5R^43QUhoMRXn$
zK=a%$KP_!@c_UOK9x5tiG|(X1pwtefLqX!mXCH&TM&%^4v>R+--&uUfGw5@fIA@4z
zjg(w^+_R$!NxTF>O&(mQv0ZK}PG-5H<OH^GhL!vjw_E?PQ&1jT4ihP&%_{Ci8nkpw
zI&I8QDCc4|V}hn7YFR5iy$^l8cFIZk#-MBqrj#^hMkt!fi)e0?kn*Z&iA(eJ5NGyQ
zWqq~$5~+=_zaMyKFAs=xq|5G5;A>Ly8v`-ZPoLbJ&<7Zr;D(IK!uEA{QIg%&=qjNe
z*-7VPDI}j-4(4&;TF0~8->oP{n;eJA3Re%scE3DFp_zqwjSg~tx$~toQ*OYVrMR5-
zKTq*SMveJ6YGS4w+m??L%*lPfoKYHR9Mp?8rIGd23e1H4VRIeS`|*?h25}x|(*()Z
zn(UH!5>@w<R)d50cSS~8;$tUsvkubq$6VCPoTDtECMFrOp-d2)4aVIidI)O`Xr@(J
zxjpy2toML0oiI={n`si>!UuTXc@_<?Q^)yWSExZ4Y0iN1rGIe|7bN4*D^8LSTXWbb
zKf`9Ng=j%;Y)R%@o;Hiqv`x*5H=L=f^Qg5659);=Frj|@9+K5#{ysGyD<wdaMVi$&
zshV#f4)bEN^`b^O4FhFn%VN?3oYx|g4JQw|iJDh`8FOX*$t3V=8prz)MZz(ZD7j3#
zy7mVK#+7uo9|tU1DES@7@zsLgF~94tyKJBEuApC81?&<i)YsMbQ>Z=zPs#exT!pbU
z>H`v<KQUZ<Op9x!lw-+;%wp$!90)?;8y+8!(tQh?aVO2Kpo6{<0nT+L?U;Q;io2X0
zbLktI_bk*EbE~eIRzHm}54}o5)ts5ra-#}MnAb&TGLK|?Ec&}|t6+uVORR3S6$&3z
zt}F=hmwh%*!Tac(-<>M@-4meZA-h6^Z28^|`*dO3S7t7yN9m}SS2zceB5G;G6c0Aq
z?C3G4+`D|!Qra@+iHbCpHq9$<927hXj3dx$PurXAa@Dsob_5!#M4hP=m;xCb5*zsS
zS)EN8CKAjHxe0FfWko5_wENj_zW-hCvp=Lm93-S#6PpgjaqriQ<eybZjo6?KaUKa$
z&Qe0p1uZC2Rb3O0$;KSM77Ie{53>CZhH=iVPm64b%*h5bk25MD@GzFvoPa`+;77#H
zUWoQ3xvkvJS!SH`dl|Xy^fxTI0lQxH=S@l8EfX%bKkyx_VT(CV{k^Bo3-XdY2(y$1
zn?fB`t^@co`23mUt;VQW-tcveMNS;fmP8SUx?x80%3uN?mr+htKjFc9Gi#R8#IV>)
z8NC-^V(sVYDp=X&6|P`s<D>Q*V#aRzbLzXJIy&N*Rfp!}toPFl=tNoL@=$ZFuDDaZ
zYrvV^BI6KF%gtWlAl~L%)6B3T<up;fU@JEQa;!BB+e)&VT+qK$uPip?=|3_#Eq3;Y
zGR0T+oJ3q9SO23#F1u3ZG>Nx1BVlB%q;L~g*U0kjqbv30=&htlEfcABG5Gc5T>@`p
zQnne{2+PfDA!+a!FO)Jcto>L2LMq;7mr_t5GUir!9C>crp@lv`89pbBuLwgreS3VC
zxpdCs8=><2yt}+~kBh4ModaSEubZ<J&CVCkr_#b1thtojHv)`D6eKPtOg51v(sXz6
zE;r_@W$KV$Pe{Sb`g1k%mO~Ml{FE)<6U$1*b=J~X3>PLILw<})j(T29E7tq~xmLwZ
zap1;Msqbp%SJXaD3YNB$@zsDOx@Xp&xVB#x2{IHz!bv`kn2L8EZV;}%rLowt_zZMS
zm<_BhMU||)^oT8p-7QI)r3amU!;_)L<E>ut&$iFAo#0L3*d+4o)G;M&m-0m@2>kWO
ze`bj6YL^%H>Ke{Cub`VR#~g;r289I`tVUvHxee!w3%kP8?KR=1w$$&N9~Hx>`>PY0
zwXi4Bsa`U-^34IGi#|WpVraFk=tuw1(d#rYBsi$}6P1_r^k+5+=h(YPw}Gsw$IcEY
zQhbPTjrols?&^iYDO^Gr^YBKeHKW{9%PV&@G-EU>GF5~T56^Msl^?~X@=YRJT|n%2
z4^>dTe#!dD5!d1_@QDv?mQ+4ADYD45zTanyRr{_r!%*|kZpb!D)@)Pc1L$V`z;bjs
zS#$W1G9$e1ERS8uU(7~LlvVncm5CMz3^|eaatdy&?Xq^GI<8<_mmnhFcz$50>lH}d
z*x7$WWImecCYkL!M2h?Ps>UGh3Wk%LY4D(0GC@ED#ft&)qk!%$-1rHjO9_8(g{BOu
z;SgbU$$g)Op>2%t$0n<Z8zt91!)0!_viUdH$n=y9=3hy^O<c2&O^!t|f$>qAuu}Uh
z6$a7D=!;)M?oYO;H{i+o*|Q>&x=|eyAJTdLq{dor6i|E^a1Mvz`BAl$L33`oq`S1{
zi0QR&r`l&N9aY_8XW!}Vg1H9Lku<QaJ{QgsAw(T~@doLkpL=V_SL(g!>7HWMIb;E5
zGkjJnQ?zxXGb0m@*EBo{#-fMn8E$OP^xQA{pd1Gx4-JYvt?b2^&!)w}r@WqZ-?@)j
z3r7%NfmZ}ZNl!Rf&q#q6Js2aHdPX6`Sbd#*r1CgT&Jiror5d}cxVjS~r3kf8JUNnT
z2PCnhec0{!HX$m?zYgG&I9vJVmgnX9s(VG4AT|6F1p)Tz%(Oibs!9<~14g;M>}jKM
z>d_g?ngPX}Opu!E1ef|hOT(WdYy6mr_rD)qY!`ya?=Hk|UNhgv6SK|iFM4e1xRZ-n
z`@%)Oi5tb5&X_&LZY0-w7zM)H+bdZULznW!tTZraD-}TfV)5-68%A73&Rfi&=NDZY
zQa?KM1v%a}JAskVaH!{Egd$c=@4d9p+68Oai93v?ab3CA!RX^`uBuGQo)O88h_YtN
zEcZNpIy^kcz(&?NMCjUxXl@Bh`F*lzX{FjRf93bU?%jRx2m;?EVe)YK1<p@tP^Zq8
z84+zer{bJp7Wl@7hI_Ch)0Ck<Hk0lq6tZ_-`s*_B{#DeBC@?bNI}6cd+Q+*Z|Dpdo
za>vfkw5bN}6}J#77D)x?GU%M&qixb*;U%HqrlOsSOROiI;DY|^+z7=kU*K`2nF`RJ
zlF+^~;W?r@B$gwG?!Vf`Ej5TY5nPCS?e?!n3OCUTI)=L&Ow=}32Tqu}Rv%6I+|Vi6
z_f~dt-ns8H_%M!QG9?#Pi~Bv|F{K;8Lmwhb)X<FlOlBRqv$@Nl%d5B@Zdk!lDT>Uu
zR*r);s}viai0!$T=>pulF-hnjeP|Z8Q*j>$v<PT>iJObb>AB>cnNm&d&B%7GNM=Y&
z<yQx^HXCDY^~yS}N2WJ2E4I{iIl>uYj!9P=n`N$Du+H!GDj#NP@p{#DH&MntZC|8F
zTZ_C0yi;(hCA&B+oyhcl8<g0n0Lr6jRSh?V$?1gDvXr$e{jP8Bn2Ss_dPYBU{Fwdl
zr82y{hhc}g-$h`cvzL!97I6?-p9~qqy^1{I`FK&_A+=?EmD`?(+u)Gix)V*-{5cpO
zBumWJdB)-w8AF~mz_7`zeez;A2fyiuk+}*d1NX^Af#Jemzhtf%V6mSc&T(?5-nppm
zZJ`tTtue+)Qu{eOE8VJB^CYQx3LXXGhRS)q?Q8O{hb@7WwgyJMNlwYp%^&e^)`q5Q
z*hpiP#K%K+xj!W%nTS!}&R2`f<o3!iA~`uOnuRy`+K2^)py<BnpY<Ma+sq6rn_M^-
z`M|5l=n;?)jAtf+(=8v0xA%_^K5TI$jUX<hb;mG};ER86oSN_0Ikn^Bw@c&;I&^mX
z-H|-K|D0H>=j}yx>FEGwhk8wkU^n6Q*`Ppc?wxD{-aBmQoImf?U#+_+r`SN5$H=n9
zvV;i@HrnF3WwWmI!2g;s!Y-}+a&7h<&TjlbEDfaSiGHI|wb+R81j9?n9|oOue8!&m
zqldAhmH1sN2(tSJB5|DA8M}LZwf7{FEr(|ZOYiZ_fP)Frn@lt5ppry6PF@TJ2z!(x
zdfKtn)CP{R4)e>>E;UxRP3cTL(XWrPqV52)%Isk^yyy=D<^BOS=THKbbT!Yu(a5yP
z7(`0Ntw(B<MxEbBy$sJXj#pz|KIkNCC4s>nDZZZO`Wq*2MW^HN#6J>AO5HwWT7I)>
za9$Rs+R3-6vTq%G?m<NcQhK;addPf)WOV5~8VzZ27Vm$f@%l;Xn8vg*+a4VA%cX@?
z6hSI2zvl}|mC+x1U5;od3Zi#%P?XeWx2R{@`fh#PC00_=%Xv!E?pOtvt`?p(){&kD
z{djOjT==R7Y2vai!Pr({^Yfy_m1?~+m>v>rizpl5`b8qOh+Iy-sIwFSZ7M({X)bqN
zWs={;g{mnzfPZHlA9Xn*BG`N+^rqbpKwk*Rs(LW<X)Wpb5Y;6nxW2B2yD%~_gHTee
z8g6DFa}Jl9jSM8GuPkg6R(dettx~8SH98XRBI%4>d(=7iVv#GwPuNENm8?4}JRk;*
z^&_TA(tx2wHAdbWGDVB;M9Ja3MZYJVnO@bsHoNo1=Ak&TEqGRS=_t=R7rAz$)%8xK
zaNqs0zpHF13ZkUJc2#a7rX*+mw9$0b=!<xquK~>v>^q&@PJLIZe~0A7`DI1Z?qDw0
z^-f_hEPfO+ih1Lsv8hX=eD{LHO6{YnjKj$_b$9!2nC^WM7Ws<rD@LpA-5mXG3;O28
z&=<dKZS{|J;Z35jFx51GnV#|@kB&=RpA=R;`u3v9HBGIxZ#sn~iO5<^SPXVhyQjIr
z(BHo?sg0owhMtM>Ig1WK9@J4>$w`Vjw`O=XxA%8PM5HDI9aQAj4iwJmgZ;PS859FQ
z0{7v<OYDzdhrE+fUTO06%*S3+P4#h=B_u$2B&5PveMLPAwen>6bibp|@1}Fre<q_d
zibVX@Txn0VOL>mb^*~c*@5M~7b(7Q^PSADunu25<RRcBQg`&{QM55`!-Z@2aVn($3
zp@wp`G12m@F7!K?<k3l4nsiQZE?`Ry^LkU%aCip4cg0;jJlBT8fr*OI562o8yj|+v
z$&^yPS))yN4m?Pp3%GG?W=GVF$ao9xS6hX6R?#VQhf+~X_R;m{kKl@J1l;CeS~`gq
zI(uSpH{>)p4f4+Kzs1bqs66>&xgfoT?N%t*bxeh27^t7zTKL|wU_2@k%o-N5=sL2o
zbGl9hWv>7~VxP~wLz?Qc{gzVd%Be7v4y7`A_Ps%V{haYUSMFu+&Sn^|JVF|#1+CUz
zrvQe+lh&@aAuzdbGqQv~^N;=%_G!aRqt#NU_yOM7(J+Q)&bLKu5l8f~j!o5H6ns`N
zGigIb7zZ=}I%W>MJR$OHX!<zT*GWs+{(Ne_xJ2D?oav(6HjFg}DBtNx?P$MExy18f
zUAtnzQ2aK1q!Ef=zi+QkC@4qedJE<`ijlq$O))4Q`utwXrNGt%5pQ;oXv+WW=h}w-
z@|||~j)(lk@b+5Bz0!EV8?B_XStdny>cP#*+!gv_^`6t_QBggWmOv#@FI|F*zH)~H
zD2hE(Z`axNLZ&6uJBwA>2FpU=cOMxMbW)5i+h>RFt~lzl2><Mi5^Nw~|1r5nb7n-q
zG<@V}?psBe{Gor{iEtO2Yt3>k0a<C@KAKwMLboqj{}z&+zrDayAp}3+gHDdFtjW%<
z6AO-Sp$#>Uas_v7(Fy7t?(il1eBNED%lX>bwxuSbn=$8upy9e@Pf&lQXn<PBJcEL9
z*3WLSyFM(dRBL6$OANc$@!dPd4H+D}b>$f$zl6<=bys5;F?xVIQ^^QSy2bw1ilwTU
zbWo^n5q{2YJnJSd!{)>)BBE=&*vllUQ;$);jFNY>ho{1LjLC&9B)sZQRxb&F-O;|V
zx;L03Q$#5J_UIayU%4&53Hu(UhfFPMqkw0ocgoq^N;gjafZ!O-3wx1qFE9l;B+R{!
z>XBXS?0x{#D#w<o!Z*52J?k+0q{r8<&{@)aA;zFe)Ng+AMV{!0DCV_M`^_i&eqU1l
zf@_VlKS3Z1=qi+=Y1pTe$6tKtgG-tmprDX3DD+Yon`kyW6@t7qQ4hXWjE(=3EwkLy
zhGUvSEy{rXxW&~`Pk0jLVOkbojAZoWWnN&_-lBDgoFUGV?<;ingv5p&4qGUXb+zPH
z$!3E<=$u{tcgIh-fF5>Z{;P1yu3Z^9sUcFO`iq)dM#(~K)%;y;GMCvf-e!{JQ8hFF
zITB@8El@2OOE4B|XdqTr06t$&YThNP^Z3HkpeDhEM)q^_N8p~yHxq)kDRY|hk;iUD
zFiE8sjiQL49N1;icoK{aduqq)f^n5SNk)gvy*9OX@c}6F>}bs7FmJ$(+5W-rVjfxQ
zDckiS^^KlbUz4>B;jerwTv_fJx?HFcfM;sumj1iow9D_5_^Z~aB?@!)04;|FywS%#
z!*X%A@(stn{rY-hYe8&liM7Sk<923wOOY**@Y(s%TfBF6&~qkl?9Gea8|-#8dr{ao
zyi}s5KdBu=WQ*u<^~azMvo`r{-t@|4W1^}0#_-PDruambrMS8u5j*3k*bsE`zhqOX
z?e=~a%UqgFSHS>?f)U@ND<=<#9^;5V67mbo;>@8`=ro<?WMMC9b%;RH<!#9#Tf9<)
zB}6o3gLBPB;ywqjElwPi_Z^}xMzA_99R#x)+D(KdAg@t=QYq=T&e%avpXa+Qz}B!L
ze+_4W)N-Kf;N7~mzkr>lxU~-+4Tzz5S0AKz{AY@HL`)g`lzEf<2$Z0<_-J`>@&`iy
zGgM1^c+giW!?e%j<vgpf183lALb2sZ+DI$9d<jLRnJMOok2&e=`?sB-6smgSgrb&#
z{F@NoLve|y_ap4~$sVd8VKk8oWusFRw3^g#_J?FrvD2lEg6}(%9?8ST+=TeLO?=qK
z%948c$VbIZJffu8uWeUGt<#rYxgF+DQm)$=^FE=?*~<{*ePY(&$phuBgMm`C#X;}H
z<&Jc+4t{E<W6wXg1A$GbCrVvy&=9jciM0OVt`Q!Weox=O&WWoq2Fg<iqG!Ht-t7Ed
z)-^2&i$f+PXW}Na|Gn^hj@XBRXDF5{yN1WV#)ugOV<lIk&yqi@d%HeUzFuTG!Trc2
z1RMD>ux~o8U%$X|f3JjkMrR$G3z#>~jyrS(ck6P>c4;%qG<3z0a#_c|(8ap%$wAXx
zRGkx3yMaYGpFG}1H`jN^7>0_wa!5M0d@uwMUB<wlbB@ZxT$JV(=7~-j7<ShJAD!!z
zMzxXksbhl>EV}?91lflY^sBrONlcO1I60D1m6JR$l5$}>HEPc(!u3IFo>)uqqWs@Z
z%BRXPvjR^wpQf)aZBEuknrdGjz6$Bi!cb(%>y(9+h)Mrg8n<wINz9OPk=D{FHn!S0
z;<ZX$$7wCpUEp_7V8vB*gA!@{XyRp<bmZxQw1D1B=kqvr-jQx-CU|lp<K<QyEqXk_
zT0}D(4jnQZM(&^73t|f(=%baV5luB&16PCZu1qp?pg|^}uUq!Ve}p#oKPYljWoY`j
zZ^a~zIN>lrs|3;+u@r3YKM*GB*F^bs`wq_YRWz)jtg>SJ)Z0m~7AMjw{mX{%n>Qbs
zQ7bG#gCch8?<r_n_}*FxsjIof@-HH}JBlk@Oq-Py8%v*mE^{=i#5%k*lI>06f~P2g
zZVbg{3NDAYHH#4hP1xX?30^{0;q(N*UTVT&-hb=DOx=wn@_wFvGBJMf33um4;??HA
z?U>8ASPqd#sPt5$E6SFLjJqPaO4S>NI%@!11^8Qe?-*BoD60}TAH6088}Fbq?FLwV
zNPn<LMD*IaI`)W58q7XWA~|0tey6-3mCjO=<fpq8;bp2A`ZP+Y>r20<=vXC@aVj4U
ztR_u}s%2z&x0L0}IbEy8HW5nQni0kBwoa)pSa}ut4c9w62^tGX4x{l7(1Jgzs^Ugi
zy>6edAIyenR&0H>AKN^}Cfb405ZK6x<1hq;E_gIo4wW((DX?#*nE1}?P?{$FBrUNs
zYuS`)`NsJ3*3hT60bq~f>4wD*4RF#fQiCHsu95N<-->Gmu#`ccy%{8nyl->TQ}2bd
zrD@VPw4*)nSNF1p{(pA5IseB_x1g(wg}oCMHG_(!i;d~utFo(+m8r4IUrG2cvg-2p
znT(-|sRq#9@-OLX;pt%N<Ya0FbTBlwHZ(V-W>9dlH*qyKb)s@GG5c%w7nEgTqz7?O
zGf10yy4yRMI8#vr{@atKy`9KkCKgB~!o|c0VrS$8F)}hUvVvG>8JQ><87cqT$=aLz
zZzd{Eh7Jy<CVv52LmOvP0E2>xs0O{5tBsA3p`G1d@Rmx&!qOS|_x$hid;_YPIywLC
z8puo!Vga#oGO@AJG10UAdz^pm|Gt}yrJE`6pFuGQIvHF1Rqb3osDaiFhAtM)riMVb
zf4N|zXQF4O{s-s%7c;>6KPFP;@6-Sp<c+M9U2FjiazGI4KQOS9vkQ>(uk<fcn3a?L
zzd-@u|4s_qD(l++7C`lRs$Cfs!Q$I`K8r7q00+e2NkA1*i1O%6E@thoq+W#|_g>W?
zkyySMy}FsZAB{AkLB$LF%tz6Y*ap8Q55W{c1t0YQgUAI1qXH&(XvI_z6@fg{B>52F
zmf^=xb1dLFfzdY<f+Z2|uFy8%HcE7~24otP9CpYyHtR4owV;dogIq00Z-w^9l{%Vi
z`fO-Pj<~7j>POiUIwmVf<!)9h1wsQtFvXOfZ3*CGI~+Tan`K=V4%!RHHjmrGJ%X1d
zTo*$**toBv%?ApCoG!mV815I<#xm6s#l$b~d0F$a@CDr8dE3SYs7n?303J5cX%Of}
z(SbMgkryk%%BBbx1~I&1#s<>94h~r^-@)p*K6TljnX9(U>Jz@RX5`4jR7al$hxPbt
zh<%5O!0Z{innB4YRulo8jN-t*ncT@a?Xu3XS<75hl<aXTGo)uQn8!6PrtP?RO+d<E
z(zK$wh6`4HXTY4n099a$pwDp#+}PWQ?Na)RAgjL1X8MGQ;}*1ZOgwN<*k{woxG5io
zjKINsk?Vc)SMjiMt%?+im36Bi37}sItX`Qn6*sV{ix$87yng0evHm>&O$J>*CZM_T
z5g_0C;^2Gha#mMwSyebDFm$zWGV`<|-{{IMEq!gtwz{0?_hiB!=gY3`eLtVsFQJX7
z7hO>mhHSY`QH|feQ!wI`tG|oh0)0N+h4X~+2*ri3rag4M&zzYr6jHf<W|6(LBjHc1
z9^o`^Rk>QY_~fmgo@nQwe|G!TxrAm%cDL6f8WZzBa{&|Me|*9kN~UH221z>;QxBjv
zBajKC3t&*T^!ghhe^D59pf(7|1pMcolD)kP5cCfYuk??(nLQBnPh$B;5dmuRFtG^<
z3Nf;>2yt*S3Nng_iZZisa0m+t2@7*DiZQc_@&W&MlfS+ED{$EU9XJ1nz`^=Cf#wec
zgPesDRe8fSfQ>f(wABDJAD=n6He*h>haL`xhrjiWz$<ipBxE!Y9XVfr=`|RP9Xv?M
ktspM3gr@k<X>xWkbaL_doA>}A5GN-)fPz9)UJUU608;X3EdT%j

literal 0
HcmV?d00001

diff --git a/diagram_splittinglemma.tex b/diagram_splittinglemma.tex
new file mode 100644
index 0000000000000000000000000000000000000000..21a19b1e6255d2a620c429b3667b3194189537ee
--- /dev/null
+++ b/diagram_splittinglemma.tex
@@ -0,0 +1,56 @@
+\documentclass{standalone}
+\usepackage[T1]{fontenc}
+\usepackage{amsmath}
+\usepackage{amsfonts}
+\usepackage{parskip}
+\usepackage{marvosym} %Lightning symbol
+\usepackage[usenames,dvipsnames]{color}
+\usepackage[hidelinks]{hyperref}
+\renewcommand*{\familydefault}{\sfdefault}
+
+\usepackage{bbm} %For \mathbbm{1}
+%\usepackage{bbold}
+\usepackage{tikz}
+
+\begin{document}
+
+\begin{tikzpicture}[scale=0.8]
+    \def\width{6};
+    \def\height{4};
+    %\draw[step=1cm] (0,0) grid (\width,\height);
+
+    % Vertices and edges
+    \foreach \x in {0,...,\width} {
+        \foreach \y in {0,...,\height} {
+            \draw (\x,\y) circle (0.10);
+            \ifnum\x<\width
+                \draw (\x,\y)+(0.1,0) -- (\x+0.9,\y);
+            \fi
+            \ifnum\y<\height
+                \draw (\x,\y)+(0,0.1) -- (\x,\y+0.9);
+            \fi
+        }
+    }
+
+    %
+    % The set S : red circles
+    %
+
+    \draw[fill,red] (3,0) circle (0.08);
+    \draw[fill,red] (2,1) circle (0.08);
+    \draw[fill,red] (3,2) circle (0.08);
+    \draw[fill,red] (3,3) circle (0.08);
+    \draw[fill,red] (4,4) circle (0.08);
+
+    \draw (3,-0.5) node {$S$};
+
+    % The set X
+    \draw[xshift=-0.2cm,dashed] (-0.5,-1.0) -- (2.5,-1.0) -- (2.5,0.5) -- (1.5,0.5) -- (1.5,1.5) -- (2.5,1.5) -- (2.5,3.5) -- (3.5,3.5) -- (3.5,4.5) -- (-0.5,4.5) -- cycle;
+    \draw (1,-0.5) node {$X$};
+
+    % The set Y
+    \draw[xshift=+0.2cm,dashed] (6.5,-1.0) -- (3.5,-1.0) -- (3.5,0.5) -- (2.5,0.5) -- (2.5,1.5) -- (3.5,1.5) -- (3.5,3.5) -- (4.5,3.5) -- (4.5,4.5) -- (6.5,4.5) -- cycle;
+    \draw (5,-0.5) node {$Y$};
+
+\end{tikzpicture}
+\end{document}
diff --git a/main.tex b/main.tex
index 107489a8f105c4f7e71169a4206feca1b6c7d134..e428444ca33218401baed0a5adf45764d4b9b0a8 100644
--- a/main.tex
+++ b/main.tex
@@ -611,8 +611,10 @@ Let $G=(V,E)$ be an undirected graph with vertex set $V$ and edge set $E$. We de
 \end{definition}
 
 The following Lemma says that if a set $S$ splits the graph in two, then those two parts become independent if the vertices in $S$ never become zero.
+\begin{center}
+    \includegraphics[scale=0.8]{diagram_splittinglemma.pdf}
+\end{center}
 \begin{lemma}[Splitting lemma] \label{lemma:splitting}
-    \todo{Picture of $S,X,Y$.}
     Let $G=(V,E)$ be a graph. Let $S,X,Y\subseteq V$ be a partition of the vertices, such that $X$ and $Y$ are disconnected in the graph $G\setminus S$. Furthermore, let $A^X$ and $A^Y$ be any events that depends only on the sites in $X$ and $Y$ respectively. Then we have
     \begin{align*}
         \P^{G}_S(\NZ{S} \cap A^X \cap A^Y)
@@ -625,7 +627,7 @@ The following Lemma says that if a set $S$ splits the graph in two, then those t
 
 %\newcommand{\initone}[1]{\textsc{InitOne}_#1}
 \begin{proof}
-    We are considering three different Markov Chains and we will consider paths (i.e. resampling sequences) of them. We will use a superscript to denote to which Markov Chain a path belongs. Let $\xi^G \in \NZ{S}$ be a path of the Markov Chain associated to the resample process on the graph $G$, that satisfies the event $\NZ{S}$. 
+    We are considering three different Markov Chains, and the events $\NZ{S}$ in the different parts of the equation are events on different probability spaces. We will keep using the same notation for these events because it should be clear from the context which Markov Chain is being considered. We will consider paths (i.e. resampling sequences) and we will use a superscript to denote to which Markov Chain a path belongs. Let $\xi^G \in \NZ{S}$ be a path of the Markov Chain associated to the resample process on the graph $G$, that satisfies the event $\NZ{S}$. 
     From $\xi^G$ we will now construct paths $\xi^{G\setminus Y} \in \NZ{S}$ and $\xi^{G \setminus X} \in \NZ{S}$ of the other Markov Chains satisfying the corresponding events on those Markov Chains.
     Let us write the path $\xi^G$ as an initialization and a sequence of resamplings:
     \begin{align*}
@@ -644,35 +646,31 @@ The following Lemma says that if a set $S$ splits the graph in two, then those t
     \end{align*}
     Let $b|_{G\setminus X}$ be the restriction of $b$ to $G\setminus X$ and similar for $b|_{G\setminus Y}$.
     To construct $\xi^{G\setminus Y}$ and $\xi^{G\setminus X}$, start with $\xi^{G\setminus Y} = \left( (\text{initialize }b|_{G\setminus Y}) \right)$ and $\xi^{G\setminus X} = \left( (\text{initialize }b|_{G\setminus X}) \right)$. For each step $(z_i,v_i,r_i)$ in $\xi^G$ do the following: if $v_i \in X$ then append $(z^{X}_i,v_i,r_i)$ to $\xi^{G\setminus Y}$ and if $v_i \in Y$ then append $(z^{Y}_i,v_i,r_i)$ to $\xi^{G\setminus X}$.
-    Here $z^{X}_i$ is the number of zeroes that were in $X$ and $z^{Y}_i$ is the number of zeroes in $Y$. We have $z_i = z^{X}_i + z^{Y}_i$ because $\xi^G\in\NZ{S}$ so there can not be any zero in $S$; they all have to be in $X$ or $Y$. Furthermore, this also makes sure that we always have $v_i\in X$ or $v_i\in Y$ since only vertices that are zero can be chosen to resample.
+    Here $z^{X}_i$ is the number of zeroes that were in $X$ and $z^{Y}_i$ is the number of zeroes in $Y$. We have $z_i = z^{X}_i + z^{Y}_i$ because $\xi^G\in\NZ{S}$ so there can not be any zero in $S$; they all have to be in $X$ or $Y$. Furthermore, this also makes sure that we always have either $v_i\in X$ or $v_i\in Y$ since only vertices that are zero can be chosen to resample.
 
-    \todo{from here}
-    %Let the resulting paths be
-    %\begin{align*}
-    %    \xi_1 &= \left( (z^{(1)}_{a_1}, s_{a_1}, r_{a_1}), (z^{(1)}_{a_2}, s_{a_2}, r_{a_2}), ..., (z^{(1)}_{a_{|\xi_1|}}, s_{a_{|\xi_1|}}, r_{a_{|\xi_1|}}) \right) \\
-    %    \xi_2 &= \left( (z^{(2)}_{b_1}, s_{b_1}, r_{b_1}), (z^{(2)}_{b_2}, s_{b_2}, r_{b_2}), ..., (z^{(2)}_{b_{|\xi_1|}}, s_{b_{|\xi_1|}}, r_{b_{|\xi_1|}}) \right)
-    %\end{align*}
-    Now $\xi_1$ is a valid (terminating) path from $b_1$ to $\mathbf{1}$, because in the original path $\xi$, all zeroes ``on the $b_1$ side'' have been resampled by resamplings ``on the $b_1$ side''. Since the sites $v,w$ inbetween never become zero, there can not be any zero ``on the $b_1$ side'' that was resampled by a resampling ``on the $b_2$ side''.
-    Vice versa, any two paths $\xi_1\in\start{b_1}\cap \mathrm{NZ}^{(v,w)}$ and $\xi_2\in\start{b_2}\cap\mathrm{NZ}^{(v,w)}$ also induce a path $\xi\in\start{b} \cap \mathrm{NZ}^{(v,w)}$ by simply interleaving the resampling positions. Note that $\xi_1,\xi_2$ actually induce $\binom{|\xi_1|+|\xi_2|}{|\xi_1|}$ paths $\xi$ because of the possible orderings of interleaving the resamplings in $\xi_1$ and $\xi_2$.
-    For a fixed $\xi_1,\xi_2$ we will now show the following:
+    Now $\xi^{G\setminus Y}$ is a valid path of the Markov Chain associated to the graph $G\setminus Y$ (i.e. with vertices $X\cup S$), because in the original path $\xi^G$, all zeroes in $X$ have been resampled by resamplings in $X$. There can not be a vertex $v\in Y$ such that the resampling of $v$ changed a vertex in $X$, since $X$ and $Y$ are only connected through $S$ and we know $\xi^G\in\NZ{S}$.
+
+    Vice versa, any two paths $\xi^{G\setminus Y}\in\NZ{S}$ and $\xi^{G\setminus X}\in\NZ{S}$ also induce a path $\xi^G\in\NZ{S}$ by simply interleaving the resampling positions. Note that $\xi^{G\setminus Y},\xi^{G\setminus X}$ actually induce $\binom{|\xi^{G\setminus Y}|+|\xi^{G\setminus X}|}{|\xi^{G\setminus Y}|}$ paths $\xi^G$ because of the possible orderings of interleaving the resamplings in $\xi^{G\setminus Y}$ and $\xi^{G\setminus X}$.
+    For a fixed $\xi^{G\setminus Y},\xi^{G\setminus X}$ we will now show the following:
     \begin{align*}
-        \sum_{\substack{\xi\in\start{b} \cap \mathrm{NZ}^{(v,w)} \text{ s.t.}\\ \xi \text{ decomposes into } \xi_1,\xi_2 }} \P^{(n)}_b[\xi] &=
-        \sum_{\text{interleavings of }\xi_1,\xi_2} \P(\text{interleaving}) \cdot \P^{(n)}_{b_1}[\xi_1] \cdot \P^{(n)}_{b_2}[\xi_2] \\
-        &= \P^{(n)}_{b_1}[\xi_1] \cdot \P^{(n)}_{b_2}[\xi_2]
+        \sum_{\substack{\xi^G\in\NZ{S} \text{ s.t.}\\ \xi^G \text{ decomposes into } \xi^{G\setminus Y},\xi^{G\setminus X} }} \P^{G}_S(\xi^G) &=
+        \sum_{\text{interleavings of }\xi^{G\setminus Y},\xi^{G\setminus X}} \P(\text{interleaving}) \cdot \P^{G\setminus Y}_S(\xi^{G\setminus Y}) \cdot \P^{G\setminus X}_S(\xi^{G\setminus X}) \\
+        &= \P^{G\setminus Y}_S(\xi^{G\setminus Y}) \cdot \P^{G\setminus X}_S(\xi^{G\setminus X}) 
     \end{align*}
-    where both sums are over $\binom{|\xi_1|+|\xi_2|}{|\xi_1|}$ terms.
-    This is best explained by an example. Lets consider the following fixed $\xi_1,\xi_2$ and an example interleaving where we choose steps from $\xi_2,\xi_1,\xi_1,\xi_2,\cdots$:
+    where both sums are over $\binom{|\xi^{G\setminus Y}|+|\xi^{G\setminus X}|}{|\xi^{G\setminus Y}|}$ terms.
+    This is best explained by an example. Lets consider the following fixed $\xi^{G\setminus Y},\xi^{G\setminus X}$ and an example interleaving where we choose steps from $\xi^{G\setminus X},\xi^{G\setminus Y},\xi^{G\setminus Y},\xi^{G\setminus X},\cdots$:
+    \todo{from here}
     \begin{align*}
-        \xi_1 &= \left( (z_1, s_1, r_1), (z_2, s_2, r_2), (z_3, s_3, r_3), (z_4, s_4, r_4),\cdots  \right) \\
-        \xi_2 &= \left( (z_1', s_1', r_1'), (z_2', s_2', r_2'), (z_3', s_3', r_3'), (z_4', s_4', r_4'),\cdots  \right) \\
+        \xi^{G\setminus Y} &= \left( (z_1, s_1, r_1), (z_2, s_2, r_2), (z_3, s_3, r_3), (z_4, s_4, r_4),\cdots  \right) \\
+        \xi^{G\setminus X} &= \left( (z_1', s_1', r_1'), (z_2', s_2', r_2'), (z_3', s_3', r_3'), (z_4', s_4', r_4'),\cdots  \right) \\
         \xi   &= \left( (z_1 + z_1', s_1', r_1'), (z_1+z_2', s_1, r_1), (z_2+z_2', s_2, r_2), (z_3+z_2', s_2', r_2'), \cdots \right)
     \end{align*}
-    The probability of $\xi_1$, started from $b_1$, is given by
+    The probability of $\xi^{G\setminus Y}$, started from $b_1$, is given by
     \begin{align*}
         \P^{(n)}_{b_1}[\xi_1] &= \P(\text{pick }s_1|z_1) \P(r_1) \P(\text{pick }s_2|z_2) \P(r_2) \cdots \P(\text{pick }s_{|\xi_1|}|z_{|\xi_1|}) \P(r_{|\xi_1|}) \\
                 &= \frac{1}{z_1} \P(r_1) \frac{1}{z_2} \P(r_2) \cdots \frac{1}{z_{|\xi_1|}} \P(r_{|\xi_1|}) .
     \end{align*}
-    and similar for $\xi_2$ but with primes.
+    and similar for $\xi^{G\setminus X}$ but with primes.
     The following diagram illustrates all possible interleavings, and the red line corresponds to the particular interleaving $\xi$ in the example above.
     \begin{center}
         \includegraphics{diagram_paths2.pdf}
@@ -698,7 +696,6 @@ The following Lemma says that if a set $S$ splits the graph in two, then those t
         &= \P(\text{path in grid}) \; \P^{(n)}_{b_1}[\xi_1] \; \P^{(n)}_{b_2}[\xi_2]
     \end{align*}
     In the grid we see that at every point the probabilities sum to 1, and we always reach the end, so we know the sum of all paths in the grid is 1. This proves the required equality.
-
     We obtain
     \begin{align*}
         \P^{(n)}_b(\mathrm{NZ}^{(v,w)},A_1,A_2)
@@ -711,7 +708,6 @@ The following Lemma says that if a set $S$ splits the graph in two, then those t
         \; \cdot \;
         \P^{(n)}_{b_2}(\mathrm{NZ}^{(v,w)},A_2).
     \end{align*}
-    The second equality follows directly from $\mathbb{P}(A\mid B)=\mathbb{P}(A,B)/\mathbb{P}(B)$ and setting $A_1,A_2$ to the always-true event.
 \end{proof}
 
 \begin{lemma}[Conditional independence 2] \label{lemma:eventindependenceNewGen}