Original: If the equality does hold for many values of a, then we can say that p is probably prime, or a pseudoprime.
Simplified: If the equality does hold for many values of a, then we can say that n is probably prime, or a pseudoprime.