interstice comments on Many Turing Machines