It is a separate argument, but they are related because the question eventually arises, "how do you prove that such a programmer exists."