User blog comment:Hyp cos/Degrees of Recursive Inaccessibility and other OCFs/@comment-34193315-20191221020347/@comment-11227630-20191221080153

Which one do you think is complicated?