Readers may be interested in H. Friedman, The Emergence of (Strict) Reverse Mathematics, December 29, 2021, 110 pages, https://u.osu.edu/friedman.8/foundational-adventures/downloadable-manuscripts/ #117 Comments welcome. Harvey Friedman