  We consider the second of Mullin's sequences of prime numbers related to
Euclid's proof that there are infinitely many primes. We show in particular
that it omits infinitely many primes, confirming a conjecture of Cox and van
der Poorten.
