Re: [math-fun] HB desires for provable primes