Pseudoprimes and imperfect converses of Fermat's little theorem. Strong pseudoprimes, Rabin's test and stochastic primality testing.