diff --git a/Proposal/CVs/Florian.Rabe.tex b/Proposal/CVs/Florian.Rabe.tex
index c8b0d2c0ae5b3e803f1a7788ca57f0dc6334c045..4569e5d6c6071a368cd4622544c9541d69d1c0f2 100644
--- a/Proposal/CVs/Florian.Rabe.tex
+++ b/Proposal/CVs/Florian.Rabe.tex
@@ -4,7 +4,7 @@
 
   He has worked on the formal representation and management of mathematical knowledge for 15 years.
   He was a lead researcher in the LATIN project (2009-2012), which produced a highly modular and integrated library of formal languages for knowledge representation and the OAF project (2014--2019), which produced an integrated archive of symbolic mathematical data in the area of logic. 
-  He is currently a principal investigator in the OpenDreamKit, where he developed the designed many of the concepts and TRL 5-6 services on which \TheProject builds, including the standard for semantics-aware mathematical datasets.
+  He is currently a principal investigator in the OpenDreamKit, where he developed the designed many of the concepts and TRL 5-6 services on which \pn builds, including the standard for semantics-aware mathematical datasets.
   
   He is the creator and main developer of the \software{MMT} language and system, which are the backbone of both LATIN and OAF and a central component of OpenDreamKit.
   \software{MMT} has been developed for over 10 years with more than 20 contributors and currently consists of more than $100,000$ lines of \software{Scala} code.
diff --git a/Proposal/Makefile b/Proposal/Makefile
index cb734cdb240b3d10bc3504476525a03c01a3b9cc..4b80b758c17e307d89c560e3c56daf2a91c2dd33 100644
--- a/Proposal/Makefile
+++ b/Proposal/Makefile
@@ -37,9 +37,12 @@ all: $(TBIB.pdf) $(TSIMP.pdf)
 final:
 	$(MAKE) $(MAKEFAGS) -w PROPOSAL=final.tex all
 
+SPLIT.at = $(shell cat SPLIT.at)
+SPLIT = $$(($(SPLIT.at) + 1))
+SSPLIT = $$(($(SPLIT.at) + 2))
 final-split: final
-	pdftk final.pdf cat 1-69   output final-123.pdf
-	pdftk final.pdf cat 70-end output final-45.pdf
+	qpdf --pages final.pdf 1-$(SPLIT) -- final.pdf final-123.pdf
+	qpdf --pages final.pdf $(SSPLIT)-z -- final.pdf final-45.pdf
 
 public:  $(SRC)
 	$(MAKE) $(MAKEFAGS) -w PROPOSAL=draft.tex all
diff --git a/Proposal/final.pdf b/Proposal/final.pdf
index fc5d3a7faf4611b2eaf19ea89d058ebb7a714977..54800cb282e9c77e30da61a2422b678edbded706 100644
Binary files a/Proposal/final.pdf and b/Proposal/final.pdf differ
diff --git a/Proposal/proposal.pdf b/Proposal/proposal.pdf
index 86c477d05128ecba74fba6f15d0e4079d5f9f29d..e7311ba206c954bbde8ada681c60e601a3af007e 100644
Binary files a/Proposal/proposal.pdf and b/Proposal/proposal.pdf differ