--- a/text/proposal.tex	Tue May 15 15:08:41 2018 +0100
+++ b/text/proposal.tex	Wed May 16 20:58:39 2018 +0100
@@ -86,7 +86,7 @@
 \begin{document}
 
   
-\section*{Proposal: \\
+\section*{PPProposal: \\
   Fast Regular Expression Matching\\
   with Brzozowski Derivatives}