On a stylistic note, I was surprised to see David Friedman letting ChatGPT write his posts when he is a perfectly competent writer himself, and then I realized this is Dave Friedman. Turns out to be rather different!