small differences in the conclusion

conclusion.tex

@@ -10,7 +10,7 @@ overloaded function type.
 
 There is still a lot of work to do to fill the gap with real-world
 programming languages. For example, our analysis cannot handle flow of
-information.
+information, as we discussed for the function \code{example14} in Section~\ref{sec:practical}.
 In particular, the result of a type test can flow only to the branches
 but not outside the test. As a consequence the current system cannot
 type a let binding such as \code{