diff --git a/NEWPROPOSAL/FULLPROP.tex b/NEWPROPOSAL/FULLPROP.tex
index c0780047e90be296608eddaceb7d23bada9929ae..1b16d65092e9c0d77b0c7dace3e07ff806fbd19e 100644
--- a/NEWPROPOSAL/FULLPROP.tex
+++ b/NEWPROPOSAL/FULLPROP.tex
@@ -1024,15 +1024,15 @@ The DiCarlo group (Delft) and Rigetti have shown particular interest
 in exploiting our work to assist with supporting the superconducting
 quantum devices they are developing. \e
 
-\TODOb{Still true?}
-\bR Finally, we commit to produce public APIs (see
-\ref{del:frontendapi} and \ref{del:backendapi})
-for the \azx system which will allow any programming language to
+\newt{Finally, we commit to produce public APIs (see
+\ref{del:frontendapi}, \ref{del:backendapi} and \ref{del:backendapiBIS})
+for the \dzxc system which will allow any programming language to
 generate code using our system, and make it easy to add support for
 future hardware targets.  This will enable other projects to
-integrate \azx into their system.  To further advance this aim, the
+integrate \dzxc into their system.  To further advance this aim, the
 software tools developed by our project will be released on an
-open-source basis with a permissive license (See \S~\ref{sec:cons-agre}.) \e
+open-source basis with a permissive license (See
+\S~\ref{sec:cons-agre}.) }
 
 \paragraph{Communication.\!\!}
 
@@ -1057,7 +1057,7 @@ specifically target:
 \item French: \emph{La Recherche}, \emph{Pour la Science}, and
   \emph{Interstices}.
 \item \bR Dutch: \emph{Kijk Magazine}, \emph{Quest}, and the dutch edition
-  of the \emph{New Scientist}.\e \TODO{replace dutch ones?}
+  of the \emph{New Scientist}.\e \TODOb{replace dutch ones?}
 \end{itemize}
 Several of members of the consortium have had their work featured in
 these publications before.  
@@ -1439,8 +1439,8 @@ Perdrix, Valiron, Carette.}
   \WPleaderGREN
   \WPeffort{20}{9}{12}{2}{6}{0}
   \begin{WPaim}
-We import machine-dependent specifications to \zx terms, and use this to optimise algorithms further for specific hardware constraints. We focus on the silicon spin qubits developing in Grenoble, the ion traps developed in Oxford, and the superconducting devices accessible through CQC and partnership with IBM. This is the culmination of all previous work packages, and feeds back into them. The final result will be \ldots.
-Also machine-dependent error correction?
+We import machine-dependent specifications to \zx terms, and use this to optimise algorithms further for specific hardware constraints. We focus on the silicon spin qubits developing in Grenoble, the ion traps developed in Oxford, and the superconducting devices accessible through CQC and partnership with IBM. This is the culmination of all previous work packages, and feeds back into them. The final result will be \bR\ldots.
+Also machine-dependent error correction?\e
   \end{WPaim}
   \begin{WPtasks}
 \WPtask[\label{task:qdot-model}]{Grenoble silicon spin qubits (M13--M36  Responsible: \partnerref{partner:grenoble};
@@ -1483,11 +1483,12 @@ Also machine-dependent error correction?
   \WPdeliverable{M24}{Deliverable}
   \WPdeliverable{M30}{General purpose layout engine}
   \WPdeliverable{M36}{Optimising \dzxc, suitable for compiling to Grenoble and/or Oxford architecture}    
-  \WPdeliverable[\label{del:backendapi}]{M36}{API for back-end
+  \WPdeliverable[\label{del:backendapiBIS}]{M36}{API for back-end
     modules, including specification language for architectures.}
   \end{WPdeliverables}
 \end{WP}
-\TODOb{Should D4.5 be the same as D1.6?}
+\TODOb{Should D4.5 be the same as D1.6? Does not correspond to a task
+  in WP4}
 
 \REM{\emph{Leader:} Kissinger.
 \emph{Others:} Abramsky, de Beaudrap, Duncan, Jeandel, Perdrix,