RE: Certified primes