Before revision: every finite binary string has at least one program that will compute it on the abstract computer.
After revision: every computable function has at least one program that will compute its application on the abstract computer.