@icecolbeveridge yes, given a stream of dice rolls I can tell you if the corresponding game ends