Steven Byrnes comments on Richard Ngo’s Shortform

[Steven Byrnes]

Oh, OK, I see what you mean. Possibly related: my comment here.