Ericf comments on Number-guessing protocol?