diff --git a/NEWPROPOSAL/FULLPROP.tex b/NEWPROPOSAL/FULLPROP.tex
index 60201ac6fbcbaa59f46c5f338844a49225ff8f46..b176c5df159edb31e9459c37f2e2e7fa434b4d19 100644
--- a/NEWPROPOSAL/FULLPROP.tex
+++ b/NEWPROPOSAL/FULLPROP.tex
@@ -201,7 +201,7 @@ in realising a quantum procedure on hardware, including
     and managing the realisation of error correction,    
   \end{itemize}
   in a way which can be specified in a modular way but which is tightly integrated upon compilation.
-  To demonstrate this technology, we will develop a compiler from a high-level quantum programming language to hardware, for (i)~optically-coupled ion traps (NQIT)~\cite{PhysRevX.4.041041} and (ii)~quantum-dot devices (Grenoble)\REM{ [do we have something here to cite?]}.
+  To demonstrate this technology, we will develop a compiler from a high-level quantum programming language to hardware, for (i)~optically-coupled ion traps (NQIT)~\cite{PhysRevX.4.041041} and (ii)~silicon spin qubits (Grenoble)\REM{ [do we have something here to cite?]}.
   We will specifically pursue the development of deep quantum compilation technology by exploiting the versatility of the \zxcalculus, and further developing its application. 
 This will greatly improve the software ecosystem for quantum computers:
 deep quantum compilation will allow future quantum devices to
@@ -792,7 +792,7 @@ This annotation system will again be modular, in that any hardware platform may
 This will make the \dzxc system extensible in principle to any sufficiently well-characterised quantum computing platform.
 
 Annotation systems representing the hardware implementation are to be provided by the development environment, using a standardised interface, as developed in \ref{task:backendapi}.
-As a way to demonstrate and to prototype this hardware-dependent annotation layer,  we will study concrete hardware platforms quantum computers based on different technologies: quantum dots (Grenoble) in Task~\ref{task:qdot-model}, and optically linked ion traps (NQIT) in Task~\ref{task:NQIT-model}.
+As a way to demonstrate and to prototype this hardware-dependent annotation layer,  we will study concrete hardware platforms quantum computers based on different technologies: silicon spin qubits (Grenoble) in Task~\ref{task:qdot-model}, and optically linked ion traps (NQIT) in Task~\ref{task:NQIT-model}.
 In both cases we will interact strongly with the experimental groups working on these
 models, who are close colleagues of our consortium members (D.~Horsman for Grenoble, and N.~de Beaudrap for NQIT).
 Since these architectures are dissimilar, tackling both is an ideal demonstration of our approach. 
@@ -1460,13 +1460,13 @@ Perdrix, Valiron, Carette.}
   \WPleaderGREN
   \WPeffort{12}{9}{12}{6}{\newt{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 quantum dot devices 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.
+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?
   \end{WPaim}
   \begin{WPtasks}
-\WPtask[\label{task:qdot-model}]{Grenoble quantum dots (M13--M36  Responsible: \partnerref{partner:grenoble};
+\WPtask[\label{task:qdot-model}]{Grenoble silicon spin qubits (M13--M36  Responsible: \partnerref{partner:grenoble};
   Involved: \partnerref{partner:loria},\partnerref{partner:gdansk})}{
-  We will model the quantum dot device being developed in Grenoble, and extract specific annotations for
+  We will model the silicon spin qubits being developed in Grenoble, and extract specific annotations for
   \zx that describe key elements of the architecture.  This will
   include qubit layout on wafers, network connectivity, and timing
   and fidelity of potential entanglement links.  A suitably annotated \zx term