actually I now see  your point. Indeed, the code will be much nicer if we drop that into a suitably named function.