David Mears comments on Open Thread—July 2023