diff --git a/NEWPROPOSAL/FULLPROP.tex b/NEWPROPOSAL/FULLPROP.tex
index c4799d7c8cb4102ffef709b39e92da6997186ae3..4fe707ee731c17abcc79c80b69517b080680d233 100644
--- a/NEWPROPOSAL/FULLPROP.tex
+++ b/NEWPROPOSAL/FULLPROP.tex
@@ -59,9 +59,8 @@ These NISQ computers are not so much single devices, but instead patchworks of c
 classical computers have had a roughly static concept of ``low-level instructions'' for decades, the analogous notion for quantum hardware is constantly changing and evolving to cope with the rapid progress in quantum technology. We face a situation where the ever-multiplying range of quantum computers has minimal software support.
 
 \newt{%
-  We propose the development of ``deep quantum compilation'' technology, which is the concept of a compiler for quantum systems which can be used to develop large portions of the software stack, in a way which is modular in design but tightly integrated once compiled.%
+  We propose the development of ``deep quantum compilation'' technology, which is the concept of a compiler for quantum systems which can be used to develop large portions of the software stack, in a way which is modular in design but tightly integrated once compiled.
   A ``deep'' quantum compiler will be versatile enough to target a wide variety of hardware implementations, and simple enough to support any programming language.
-  This project builds on recent significant 
   To develop such a compiler, we will leverage the versatility and the power of the \zxcalculus, a tensor-based system for analysing quantum operations. 
   Recent formal and practical advances in completeness and optimisation of the \zxcalculus demonstrate a proof-of-principle of the possibility of developing a deep quantum compiler, including provably-correct program transformations for automatically adding error correction and performing hardware-guided optimisations.
   Developing such a compiler will allow for the sound development of tightly integrated software stacks for quantum computers, enabling them to perform computations better and faster.