FootNote
This `length' is the base 2 logarithm of the TM index in a suitable enumeration of machines.