diff --git a/NEWPROPOSAL/FULLPROP.tex b/NEWPROPOSAL/FULLPROP.tex
index 8763e728d7a14816d3269641534271b0ef996237..a40bf0810cbf5a0a03f12fe2f7d744dceb4096bf 100644
--- a/NEWPROPOSAL/FULLPROP.tex
+++ b/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
diff --git a/NEWPROPOSAL/figures/circuit-fig.pdf b/NEWPROPOSAL/figures/circuit-fig.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..3259a12b15d516bdf49f1d661b6dde380e0eac17
Binary files /dev/null and b/NEWPROPOSAL/figures/circuit-fig.pdf differ