User blog comment:Bubby3/Why no Greatly Mahlo cardinal in our weakly compact OCF?/@comment-31966679-20180607203050/@comment-32697988-20180615233922

WCC means weakly compact cardinal.