Well put and I concur with your points (for what that is worth :-)).

And thanks for referencing "Naur's theory of programming". For those like myself previously unaware of this paper, it can be found below and is well worth a read:

https://pablo.rauzy.name/dev/naur1985programming.pdf