# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1383049123 0
# Node ID 27103cafb2973f5142e001f488f288d8bec15424
# Parent  382aad582d8b370ad58ddb50bf917376a6f5e8b1
added

diff -r 382aad582d8b -r 27103cafb297 slides/slides05.pdf
Binary file slides/slides05.pdf has changed
diff -r 382aad582d8b -r 27103cafb297 slides/slides05.tex
--- a/slides/slides05.tex	Tue Oct 29 12:09:44 2013 +0000
+++ b/slides/slides05.tex	Tue Oct 29 12:18:43 2013 +0000
@@ -1328,6 +1328,21 @@
   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %
 
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\mode<presentation>{
+\begin{frame}[c]
+\frametitle{Point to Take Home}
+
+\begin{itemize}
+\item Formal methods can be an excellent way of finding 
+bugs as they force the designer 
+to make everything explicit and thus confront difficult design 
+choices that might otherwise be fudged. 
+\end{itemize}
+
+\end{frame}}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
+
 \end{document}
 
 %%% Local Variables: