david_reinstein comments on Open Thread: July 2021