User blog comment:Nayuta Ito/An attempt to well-define OCF as a number notation/@comment-35470197-20191123105520/@comment-35470197-20191123234048

Then is Cmp(I_2,ψ_{ψ_{ψ_{I_5}(0)}(0)}(0)) = -1 true?