abramdemski comments on Number-guessing protocol?