@c On reflection, I’m glad I was wrong about this. I sometimes have difficulty in believing that theory can precede practice, though there are plenty of examples of it doing exactly that.