On Sep 9, 2022, at 5:32 PM, John Rose <john.r.rose at oracle.com> wrote: Well said, but I cannot resist observing: > > There is certainly no new murk. To be precise, if you think there is more murk than before, take comfort that it is merely the dual of the existing murk. :-)