diff --git a/NEWPROPOSAL/FULLPROP.tex b/NEWPROPOSAL/FULLPROP.tex
index 8e2bd2a0f14270fd56aeff2f9e0fb7129d3e305e..08b9c885d9f8103ab1090677a4e3baf8e72cbd1a 100644
--- a/NEWPROPOSAL/FULLPROP.tex
+++ b/NEWPROPOSAL/FULLPROP.tex
@@ -708,8 +708,8 @@ This will make possible a reduction in the resources used in any particular hard
 \TODOb{For some reason physics is missing: CQM/ZX emerged from compositional physical considerations.}
 As shown the schema at the beginning of \S\ref{sec:summary:-}, 
 the ambitious vertical structure of this project requires a uniquely
-diverse range of expertise: from \textbf{Software Engineering \& Formal Methods} at the high level, through \textbf{Quantum Computation} and logic at the mid-level, down to quantum \textbf{Systems Architecture} at the low-level.
-This project unites those working in quantum information theory from logical and pure mathematical perspectives with those working on practical error correction, quantum
+diverse range of expertise: from \textbf{Software Engineering \& Formal Methods} at the high level, through \newt{\textbf{Quantum Physics},} \textbf{Quantum Computation} and logic at the mid-level, down to quantum \textbf{Systems Architecture} at the low-level.
+This project unites those working in \newt{quantum physics from operational compositionality, and} quantum information theory from logical and pure mathematical perspectives with those working on practical error correction, quantum
 hardware, and more generally programming language
 design and system engineering.
 It thus provides a unique opportunity for theoretical insight to inform future technology, and for technological problems to drive future theory.