Your example of PDA's would require to have them interacting at every step as was said in the FOM list from where everybody is jumping to wrong conclusions. Smith's proof does not suppose any communication.
"Once they go up, who cares where they come down? That's not my department." -- Werner von Braun