If we weaken the \<init>$->$\<laba> embroidery to $\<Bfr>(\<msg>=0)$ and the \<init>$->$\<labb> embroidery to $\<Bfr>(\<flag>=0)$, as in \figref{loparallelismdisabused}, we have \<lo> stability in the sender, since neither of those embroideries mentions the other assignment's variable. But now have external instability in the receiver. The \<init>$->$\<labc> embroidery is now unstable against both lines of the sender's guarantee. Here's the \interferenced{\<Bfr>(\<flag>=0)}{\<flag>:=1} case:
\begin{equation}
\cols
	& \<sp>((\<flag>=1=>\<msg>=0)@\<Bfr>(\<flag>=0),\;\<flag>:=1) \\
=	& (\<flag'>=1=>\<msg>=0)@\hook{\<Bfr>(\<flag>=0)}@\<flag'>=0@\<flag>=1 \\
\not=>	& \<flag>!=1|\<msg>=0 \\
\sloc
%DIF < \eqnlabel{label}
\end{equation}
%DIF > \eqnlabel{label}
\DIFaddbegin \end{equation}
\DIFaddend The \<labc>$->$\<labd> \DIFdelbegin \DIFdel{embroidery, which prevented the receiver from reading }\DIFdelend \DIFaddbegin \DIFadd{embroidery, which prevented the receiver from reading }\DIFaddend $\<msg>=1$ when $\<r1>=1$\DIFdelbegin \DIFdel{, is unstable against }\DIFdelend \DIFaddbegin \DIFadd{, is unstable against }\DIFaddend \interferenced{\<Bfr>(\<msg>=0)}{\<msg>:=1}:
\DIFdelbegin %DIFDELCMD < \begin{equation}
%DIFDELCMD < \cols
%DIFDELCMD < 	& %%%
\DIFdel{\<sp>((\<r1>=1=>\<flag>=1@\<msg>=0)@\<Bfr>(\<msg>=0),\;\<msg>:=1) }%DIFDELCMD < \\
%DIFDELCMD < %%%
\DIFdel{=	}%DIFDELCMD < & %%%
\DIFdel{(\<r1>=1=>\<flag>=1@\<msg'>=0)@}%DIFDELCMD < \hook{\<Bfr>(\<msg>=0)}%%%
\DIFdel{@\<msg'>=0@\<msg>=1
}%DIFDELCMD < \not%%%
\DIFdel{=>	}%DIFDELCMD < & %%%
\DIFdel{\<r1>!=1|\<flag>=1@\<msg>=0
}%DIFDELCMD < \sloc
%DIFDELCMD < %%%
%DIF < \eqnlabel{label}
\end{equation}
\DIFdelend \DIFaddbegin \begin{equation}
\DIFadd{\cols
	}& \DIFadd{\<sp>((\<r1>=1=>\<flag>=1@\<msg>=0)@\<Bfr>(\<msg>=0),\;\<msg>:=1) }\\
\DIFadd{=	}& \DIFadd{(\<r1>=1=>\<flag>=1@\<msg'>=0)@\hook{\<Bfr>(\<msg>=0)}@\<msg'>=0@\<msg>=1
\not=>	}& \DIFadd{\<r1>!=1|\<flag>=1@\<msg>=0
\sloc
%DIF > \eqnlabel{label}
}\end{equation}
\DIFaddend