User blog comment:Nayuta Ito/What We've Agreed on Stage Cardinal/@comment-25601061-20180521220739/@comment-25601061-20180521235355

If you're referring to the first one, I think that since the Mahlo OCF and KOCF are both based on inaccessibles instead of Ωx.