added preliminary new figure on p.4

NEWPROPOSAL/FULLPROP.tex

@@ -242,18 +242,9 @@ computations.
 \newt{The tensor network structure means that the \zxcalculus represents initial states, unitary operations, measurements and discarding in one unified notation.
 It also makes the notation vastly more flexible than quantum circuits: \zx-based transformations between quantum circuits may have intermediate steps that cannot directly be expressed as equations between circuits \cite{DKPdW-2019}.
 An example of such a transformation is the following:}
-  \textit{\bfseries\ttfamily\color{red!70!black} \KILL{INSERT UPDATED FIGURE HERE}}
-
-\vspace{-2mm}%
-   % (see Figure~\ref{fig:zx-mbqc-cnot}).
-  \[
-    \cnoti[0.7] \rTo^* 
-    \cnotii[0.6] \rTo^*
-    \cnotiii[0.6] \rTo^*  
-    \cnotiv[0.6] \rTo^* 
-    %\cnotv[0.6] \rTo^* 
-    \cnotvi[0.7]
-  \]~\\[-4mm]%
+
+\includegraphics[width=\textwidth]{figures/circuit-fig}
+
 Members of our consortium have demonstrated how to use these formal
 reasoning techniques in software, including the interactive theorem
 prover {\tt quantomatic} \cite{Kissinger2015Quantomatic:-A-} (which