User blog comment:Testitemqlstudop/FPT, large ordinals, ordinal FGH and a new Fundamental Sequence system/@comment-35470197-20191031122541/@comment-35470197-20191101135229

> I see. Does this work?

No. You are not allowed to refer to a term instead of a formula in comprehension schema.