Scott Garrabrant comments on Number-guessing protocol?