User blog comment:TheKing44/Ordinal Definable System of Fundamental Sequences/@comment-35470197-20191201030851/@comment-39605890-20191208203544

> also can be arbitrarily strong if one chooses very strong fundamental sequences

Are you sure? I'm pretty sure it's consistent with ZFC that any FGH style thing with any system of fundamental sequences can be between by a single function.