Five years ago I was given a grant by the EPSRC to study "the application of techniques from formal specification and knowledge based systems to the problem of requirements capture and synthesis of logic programs". Were the EPSRC wasting their money ? We shall discuss the work of the SSP group over the last 5 years and talk about the work we might be doing in the next few years. In particular, we shall talk about how seemingly diverse strands of research can be connected and how the "map of the world" for program synthesis researchers is changing.