diff --git a/NEWPROPOSAL/FULLPROP.tex b/NEWPROPOSAL/FULLPROP.tex
index ff4627371fc384a14144277b342c8d2b904d69f6..44958389b98e9f8f7702362657b04e3d3d97a675 100644
--- a/NEWPROPOSAL/FULLPROP.tex
+++ b/NEWPROPOSAL/FULLPROP.tex
@@ -1434,12 +1434,12 @@ Perdrix, Valiron, Carette.}
 %%%
 %%%%%%%WP 4
 %%%
-\begin{WP}{Machine-dependent optimisation}{1M}{36M}{wp:usefulstuff}
+\begin{WP}{Machine-dependent optimisation}{13M}{36M}{wp:usefulstuff}
   \WPleaderGREN
   \WPeffort{12}{9}{12}{6}{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 here?
+Also machine-dependent error correction?
   \end{WPaim}
   \begin{WPtasks}
 \WPtask[\label{task:qdot-model}]{Grenoble silicon spin qubits (M13--M36  Responsible: \partnerref{partner:grenoble};
@@ -1457,6 +1457,7 @@ Also machine-dependent error correction here?
   In collaboration with the Oxford ion trap group and the NQIT team, we will design an output module which generates code for a realistic model of
   ion trap quantum computers, including qubit losses and leakage, gate
   timings, and circuit layout. Output language to be defined in collaboration with hardware experts at Oxford.}
+  
   \WPtask[\label{task:runnable}]{Formatting for target systems 
     (M15--M30; Responsible: \partnerref{partner:loria}; Involved: \partnerref{partner:grenoble},\partnerref{partner:oxford},\partnerref{partner:gdansk})}{%
     Develop algorithms which, given a collection of constraints
@@ -1645,19 +1646,24 @@ reduce risk and improve communication across the consortium.
     \textbf{Title} \\\hline
 %
 \ms \label{ms:qasmqasm}&
-9 &
+12 &
+\ref{wp:frontend},\ref{wp:backends},  &
+Deep-\zx based circuit optimiser software that outperforms all other procedures.\\\hline
+%
+\ms \label{ms:qasmqasm}&
+14 &
 \ref{wp:frontend},\ref{wp:backends},  &
-Minimal QASM$\rightarrow$QASM circuit optimiser\\\hline
+Compiler module for qudit and mixed state \\\hline
 %
 \ms \label{ms:quippermbqc}&
 18&
 All&
-Quipper$\to$MBQC compilation pipeline\\\hline
+\zx $\to$MBQC and circuit compilation pipeline\\\hline
 %
 \ms \label{ms:simbackend}&
 24&
 All&
-Simulator back-end with parametric \azx support\\\hline
+ \\\hline
 %
 \ms \label{ms:delftbackend}&
 30&
@@ -1667,7 +1673,7 @@ All&
 \ms \label{ms:nqitbackend}&
 36&
 All&
-Integrate NQIT back end\\\hline
+Complete deep-\zx compiler stack with open APIs. \\\hline
   \end{tabular}}
 \end{center}