  The celebrated Green-Tao theorem states that the prime numbers contain
arbitrarily long arithmetic progressions. We give an exposition of the proof,
incorporating several simplifications that have been discovered since the
original paper.
