jimmy comments on Number-guessing protocol?