We've improved Slashdot's video section; now you can view our video interviews, product close-ups and site visits with all the usual Slashdot options to comment, share, etc. No more walled garden! It's a work in progress -- we hope you'll check it out (Learn more about the recent updates).
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.