perhaps clearer on the primality or otherwise