  Let \(M\) be a Turing machine and \(n\) a natural number. We say that \(M\)’s tape contains the number \(n\), if \(M\)’s tape begins with a binary representation of the number \(n\) (with no unnecessary leading 0’s) followed by just blank symbols from there on.