Tyrrell_McAllister comments on Book Review: Naive Set Theory (MIRI research guide)