“At some point one of those groups will be devoured by snakes” is erroneous
I wouldn’t say erroneous but I’ve added this clarification to the original question:
“At some point one of those groups will be devoured by snakes and then I stop” has an implicit “unless I roll snake eyes forever”. I.e., we are not conditioning on the game ending with snake eyes. The probability of an infinite sequences of non-snake-eyes is zero and that’s the sense in which it’s correct to say “at some point snake eyes will happen” but non-snake-eyes forever is possible in the technical sense of “possible”.
It sounds contradictory but “probability zero” and “impossible” are mathematically distinct concepts. For example, consider flipping a coin an infinite number of times. Every infinite sequence like HHTHTTHHHTHT… is a possible outcome but each one has probability zero.
So I think it’s correct to say “if I flip a coin long enough, at some point I’ll get heads” even though we understand that “all tails forever” is one of the infinitely many possible sequences of coin flips.
I wouldn’t say erroneous but I’ve added this clarification to the original question:
It sounds contradictory but “probability zero” and “impossible” are mathematically distinct concepts. For example, consider flipping a coin an infinite number of times. Every infinite sequence like HHTHTTHHHTHT… is a possible outcome but each one has probability zero.
So I think it’s correct to say “if I flip a coin long enough, at some point I’ll get heads” even though we understand that “all tails forever” is one of the infinitely many possible sequences of coin flips.