diff --git a/NEWPROPOSAL/FULLPROP.tex b/NEWPROPOSAL/FULLPROP.tex
index 4fbb480bd72f4269fec9d92b2c35ed1d3b6e7494..8ea37dcb8e190b0f906a159ba0e1bc7c928f763e 100644
--- a/NEWPROPOSAL/FULLPROP.tex
+++ b/NEWPROPOSAL/FULLPROP.tex
@@ -43,7 +43,7 @@
 
 
 
-\section*{Summary of the project}
+\section*{Summary of the project}\TODOb{Needs to be more punchy, cf 1.1.  a) Deep QC should be much more to forefront.  b) Evidential recent results on ZX as outperforming should be prominent and clear. }
 \label{sec:abstract}
 %currently 2510 characters
 
@@ -170,14 +170,14 @@ IT MAY BE BEST THAT WE AVOID ANYTHING THAT SUGGESTS A GIANT OCTOPUS SPRAWLING OV
 \vspace{-1mm} 
 \cgraph[0.65]{arch-diagram.pdf}\vspace{-5mm}
 
-\paragraph{Context:}
-\label{sec:context}
+\paragraph{Context:}\TODOb{Evidential recent results on ZX as outperforming are part of context should be prominent and clear. }
+\label{sec:context}  
 
 \newt{%
   Effective programming practise allows the programmer to design software without paying very close attention to the nature of the hardware.
   In the context of quantum technologies, this is made difficult by the fact that  hardware platforms are varied~\cite{PhysRevX.4.041041,Raussendorf-2001,KendonAncilla} \texttt{\bfseries \color{red!70!black}[double-check this list of references for suitability]}, have limited resources, and are evolving quickly.
   Due to the overhead involved in making quantum computations fault-tolerant, different platforms will continue to be developed for different tasks (with and without error correction), even as quantum hardware technologies mature and demonstrate scalability.
-  The complications presented by limited resources and divergent architectures will likely persist for the forseeable future.
+  The complications presented by limited resources and divergent architectures will likely persist for the foreseeable future.
   For classical programs, modern compiler toolchains such as LLVM\footnote{%
     The LLVM Compiler Infrastructure, \url{http://llvm.org}}
   decouple high-level programming from different hardware platforms, allowing for easy and customisable cross-compilation.
@@ -2143,7 +2143,7 @@ As the group where \zxcalculus\  originated \cite{Coecke:2009aa}, Oxford will co
     quantum programming and high performance simulation of quantum
     algorithms
 
-    \vspace{1mm}\hrulefill\vspace{1mm}
+    \vspace{1mm}\hrulefill\vspace{1mm}  
 
     \textbf{Role in Project:}