diff -r ecd989eee8bd -r 59779ce322a6 slides/slides05.tex
--- a/slides/slides05.tex	Wed Mar 20 21:50:20 2019 +0000
+++ b/slides/slides05.tex	Sat Jun 22 08:39:52 2019 +0100
@@ -248,6 +248,7 @@
 \end{frame}
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+%% ~2,237,800 lines of proof in 474
 
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%