Martyn, Olwen, Peter, Bev and Brian, Having ceased---rather than resolved---a discussion of the idea of correctness in cyber-physical systems, I thought I might send you a recent post from my blog. Best wishes, -- Michael my blog: www.theworldandthemachine.com This post: https://www.theworldandthemachine.com/2020/10/program-specification.html