diff --git a/NEWPROPOSAL/FULLPROP.tex b/NEWPROPOSAL/FULLPROP.tex
index 0d80129006d9663744a225fb1ca908e71f864010..31721c090f8444c25ea2071ecbb4db186eb82b41 100644
--- a/NEWPROPOSAL/FULLPROP.tex
+++ b/NEWPROPOSAL/FULLPROP.tex
@@ -1647,30 +1647,27 @@ reduce risk and improve communication across the consortium.
 %
 \ms \label{ms:qasmqasm}&
 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},  &
-Compiler module for qudit and mixed state \\\hline
+\ref{wp:frontend}  &
+Minimal QASM $\to$ QASM circuit optimiser \\\hline
 %
 \ms \label{ms:quippermbqc}&
 18&
-All&
-\zx $\to$MBQC and circuit compilation pipeline\\\hline
+\ref{wp:frontend},\ref{wp:backends},\ref{wp:theory}&
+Support for one HLL using parametric \zx, with 1WQC output \\\hline
 %
-\ms \label{ms:simbackend}&
+\ms \label{ms:optimise-ecc}&
 24&
-All&
+\ref{wp:backends},\ref{wp:theory},\ref{wp:usefulstuff}&
+Architecture sensitive, fidelity aware optimiser\\
+&&& Error correction support
  \\\hline
 %
-\ms \label{ms:delftbackend}&
+\ms \label{ms:nqitbackend}&
 30&
-All&
- Integrate Delft back-end\\\hline
+\ref{wp:frontend},\ref{wp:theory},\ref{wp:usefulstuff}&
+ Back-end support for Oxford Ion Traps, initial back end API\\\hline
 %
-\ms \label{ms:nqitbackend}&
+\ms \label{ms:delftbackend} &
 36&
 All&
 Complete deep-\zx compiler stack with open APIs. \\\hline