@plusmathsorg it's like twenty questions for ℕ except you don't mind if they ask more than twenty questions, as long as they eventually stop
@plusmathsorg it's like twenty questions for ℕ except you don't mind if they ask more than twenty questions, as long as they eventually stop