Right, agreed. I was replying to this from the comment. Which seemed to claim it was impossible.

> We'll never achieve high reliability for anything but the simplest software

Sorry, I wasn’t very clear!