Thanks for the link, Norman … I have downloaded that paper to read this evening.
Yes, I appreciate the scope of the SeaCURE project: but that red box did remind me of a joke flowchart which included a box labelled “and then a miracle happens”
MichaelG.