diff --git a/NEWPROPOSAL/FULLPROP.tex b/NEWPROPOSAL/FULLPROP.tex
index 186643bb3591d3ac0e6344583d09b583a41003e7..37b1eb60a53f202ebcdf5f856f1867fb1329efc9 100644
--- a/NEWPROPOSAL/FULLPROP.tex
+++ b/NEWPROPOSAL/FULLPROP.tex
@@ -469,7 +469,7 @@ A core component in optimising quantum computers is identifying which resources
 Furthermore, the compiler stack and associated library set of post-classical resources will naturally become a software tool for benchmarking quantum devices, greatly enhancing the maturity of quantum computing technology.
 
 The four major work packages of the project are structured into
-various themes: the relation between \zx and other quantum computing representations (\ref{wp:frontend});  necessary theoretical developments of \zx (\ref{wp:representation}) and the identification of quantum-unique resources; optimisation strategies independent of implementations (\ref{wp:theory}); using annotated \zx to compile and optimise for specific hardware.(\ref{wp:usefulstuff}).
+various themes: the relation between \zx and other quantum computing representations (\ref{wp:frontend});  necessary theoretical developments of \zx and the identification of quantum-unique resources (\ref{wp:representation}); optimisation strategies independent of implementations (\ref{wp:theory}); using annotated \zx to compile and optimise for specific hardware.(\ref{wp:usefulstuff}).
 
 \subsubsection{A quantum compiler stack}
 \label{sec:progr-lang-supp}
@@ -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.