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

Oh ok