Re: this from @wcaleb: Turns out that around 40 years ago I highlighted the same paragraph, though not the same sentence.
