Let p be the probability for a Galton-Watson tree with offspring distribution Poisson(m) to contain an infinite binary tree starting at its root. This holds for the tree if and only if it holds for at least two of its child subtrees, yielding a recurrence satisfied by p. When m is sufficiently large, the recurrence has three solutions, the largest of which is the true probability. Do the other...