Is not testing prime correctness.