habryka comments on Number-guessing protocol?