User blog comment:Vel!/Hilbert ITTMs/@comment-10429372-20140724163701/@comment-1605058-20140725190953

That's right. This expresses the fact that there can be Beth_2 possible configurations of photo tape.