Snail's birthday problem (1989)