Coexistence of lazy frogs on

We study the so-called frog model on ${\mathbb{Z}}$ with two types of lazy frogs, with parameters $p_1,p_2\in (0,1]$ respectively, and a finite expected number of dormant frogs per site. We show that for any such $p_1$ and $p_2$ there is positive probability that the two types coexist (i.e. that both types activate infinitely many frogs). This answers a question of Deijfen, Hirscher, and Lopes in dimension one.