Bruce G answers Number-guessing protocol?