Amin A. comments on Open Thread—July 2023