For every program P, there exists an ASCII character string encoding of a program Q (or any other encoding, with analogous but changed assumptions) such that the output of program Q, regardless of its input, is equal to the output of program P when supplied with input which is that ASCII character string encoding of Q.