Scott Garrabrant answers Number-guessing protocol?