User blog comment:Denis Maksudov/Canonical fundamental sequences for Hypcos's notation with the first weakly inaccessible cardinal./@comment-11227630-20170814125809/@comment-28606698-20170814161512

Thanks, I added this condition.