diff --git a/NEWPROPOSAL/FULLPROP.tex b/NEWPROPOSAL/FULLPROP.tex
index d3a43c03ad78548137a110e6e7fe1e4bc7d900f6..09e51c1895c2931a9df41ff49ab647eb73b63582 100644
--- a/NEWPROPOSAL/FULLPROP.tex
+++ b/NEWPROPOSAL/FULLPROP.tex
@@ -238,8 +238,7 @@ computations.
 %\REM{The closely related ZW-calculus \cite{Hadzihasanovic2015A-Diagrammatic-} provides a complete characterisation of qubit entanglement-classes.}
 
   The \zxcalculus %has been extensively applied to quantum computation, and
-  is powerful and flexible, can easily describe computations in both the circuit and measurement-based models of quantum computation (MBQC)~\cite{Raussendorf-2001} and can be used to formulate and verify quantum error correcting codes \cite{Chancellor2016Coherent-Parity, Duncan:2013lr} and quantum algorithms \cite{Stefano-Gogioso2017Fully-graphical, Zeng2015The-Abstract-St}.
-  Its graphical representation is well-suited to describing systems which naturally have a graph structure, such as surface codes for topological cluster-states \cite{Horsman:2011lr}, and MBQC \cite{Duncan:2012uq}, where it has been used to translate \cite{Duncan:2010aa} between the 1-way model and the circuit model. \textit{\bfseries\ttfamily\color{red!70!black} [Not sure whether we want to keep this paragraph but it has lots of good references]}
+  is powerful and flexible, can easily describe computations in both the circuit and measurement-based models of quantum computation (MBQC)~\cite{Raussendorf-2001} and can be used to formulate and verify quantum error correcting codes \cite{Chancellor2016Coherent-Parity, Duncan:2013lr} and quantum algorithms \cite{Stefano-Gogioso2017Fully-graphical, Zeng2015The-Abstract-St}.  Its graphical representation is well-suited to describing systems which naturally have a graph structure, such as surface codes for topological cluster-states \cite{Horsman:2011lr}, and MBQC \cite{Duncan:2012uq}, where it has been used to translate \cite{Duncan:2010aa} between the 1-way model and the circuit model. \textit{\bfseries\ttfamily\color{red!70!black} [Not sure whether we want to keep this paragraph but it has lots of good references]}
   
 \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}.
@@ -2120,8 +2119,8 @@ As the group where \zxcalculus\  originated \cite{Coecke:2009aa}, Oxford will co
 
     \textbf{Role in Project:}
 
-ICTQT will develop the foundational aspects of ZX. The expertise of Dr. Sainz on operational underpinnings of quantum theory will contribute to the identification of the resources of quantum speedup for computation. The work of ICTQT will be focussed primarily on WP2. The postdoc working on this site will complement the skills of Dr. Sainz, and spend most of their time building connections between ZX and traditional approaches to the foundations of quantum resources, as well as the specific tasks outlined in WP2. Dr. Sainz's team from ICTQT will also contribute to this work package, focusing on tasks T2.3 and T2.4. 
-\end{minipage}
+ICTQT will develop the foundational aspects of ZX. The expertise of Dr.~Sainz on operational underpinnings of quantum theory will contribute to the identification of the resources of quantum speedup for computation. The work of ICTQT will be focussed primarily on WP2. The postdoc working on this site will complement the skills of Dr.~Sainz, and spend most of their time building connections between ZX and traditional approaches to the foundations of quantum resources, as well as the specific tasks outlined in WP2. Dr.~Sainz's team from ICTQT will also contribute to this work package, focusing on tasks T2.3 and T2.4. 
+\end{minipage} 
 }
  
 \newpage
@@ -2260,7 +2259,7 @@ providing him with the resources to contribute to this project. \bR ... Will Zen
 
 
 
-\newpage
+\newpage\TODOb{This needs to be done urgently}
 \bR \subsection{Financial plan (1 page)}
 \label{sec:financial-plan}