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

According to your rules, all of the following are correct, right?
 * 1) Cmp(I_2,ψ_{I_3}(0)) = 0
 * 2) Cmp(I_2,ψ_{ψ_{I_3}(0)}(0)) = 0
 * 3) Cmp(I_2,ψ_{I_2}(0)) = 1