Thread:PrimeError/@comment-4573551-20170730131958/@comment-32632669-20170730165131

No, we don't.