User blog comment:Boboris02/Ordinal Analysis of Theories/@comment-11227630-20180213035846/@comment-30118230-20180217165049

Precisely!