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

ψ_{I_3}(0) is supposed to be I_2, so 1. and 3. should be true, but 2. should be false. Maybe some fixing is needed.