User blog comment:Alemagno12/Defining stage n cardinals in terms of stationary sets/@comment-1605058-20180612183310/@comment-25601061-20180612215719

oh wait you're right