Donald Hobson answers Number-guessing protocol?