The Dirac sea