diff --git a/proposal/proposal.tex b/proposal/proposal.tex
index 61be25a..7237479 100644
--- a/proposal/proposal.tex
+++ b/proposal/proposal.tex
@@ -275,8 +275,6 @@ project.
 
 The thesis shall conclude with a discussion about the benefits of Cubical Agda.
 %
-\section{References}
-%
 \bibliographystyle{plainnat}
 \nocite{cubical-demo}
 \nocite{coquand-2013}