deletions | additions       diff --git a/conclusion.tex b/conclusion.tex  index 43281f6..78052da 100644  --- a/conclusion.tex  +++ b/conclusion.tex 
...
%   We indicate several possible further directions for implementation  work in each of our case studies. We have also drawn attention to  theoretical questions relatedto doing  program design in an autonomous programming context. Our examples show that serendipity is not  foreign to computing practice. There are further gains to be had for  research in computing by planning -- and programming -- for