Bruce G comments on Number-guessing protocol?