Cumulative number of detected stars in JWST’s F200W filter, at depth 29 mag, and for stars with T = 3500 K. SG stars with this temperature are often less massive than implied by the abscissa. The colors and line styles are the same as in Fig. 11. The HD limit is marked by HD and a red vertical dotted line in the plot. Cool SG stars beyond the HD limit are not observed in our local universe, but if they exist in larger numbers at z ≈ 1, JWST has the best chance to see them in regions of the Spock arc with magnification factors μ ≈ 100 (light-blue and yellow curves). The black dotted line represents the differential function dN/dM of the black solid curve (corresponding to the largest magnification factor, μ ≈ 1000), and it shows a turnover at ∼20 M_⊙.