May 2023 be a good year for all of us. Thanks for engaging discussions, inspiring comments, and for being a beacon of interesting things in a web that is becoming increasingly bland. I appreciate the views of this community, even as they are challenging my own! Merry Christmas and a Happy New Year!