[math-fun] HB desires for provable primes