User blog comment:DontDrinkH20/Some ZFC-Definable very big LCOs - uncomputable?/@comment-1605058-20180830120806/@comment-36540075-20180830141323

Oh, great point.