User blog comment:LittlePeng9/Levels of ITTMs/@comment-10429372-20140517085104

Have the lightface jump operator writable ordinals gaps? (that might be your mistake?) And what is a lightface jump operator?