Re: [math-fun] Wilson's sequence prime-cover problem