User blog comment:Vel!/Hilbert ITTMs/@comment-10429372-20140724163701/@comment-25418284-20140725211942

There are Beth_1 possible configurations of an ITTM tape, and Beth_2 possible configurations of configurations of an ITTM tape.