User blog comment:DontDrinkH20/Some ZFC-Definable very big LCOs - uncomputable?/@comment-35470197-20180830044905/@comment-35470197-20180831144712

I see. Thank you ;D