where (X \Longrightarrow f) stands for "draw a random variable X; if the value X = x is returned, then execute f independently x times and return the sequence obtained". Here, \operatorname{Geom}(p) stands for the geometric distribution \mathbb P(\operatorname{Geom}(p) = k) = p^k (1 - p).
