"It is possible to invent a single machine which can be used to compute any computable sequence. If this machine \mathcal{U} is supplied with a tape on the beginning of which is written the S.D of some computing machine \mathcal{M}, then \mathcal{U} will compute the same sequence as \mathcal{M}."