A seminal work by Dyson came in 1966 when, together with Andrew Lenard and independently of Elliott H. Lieb and Walter Thirring, he proved rigorously that the exclusion principle plays the main role in the stability of bulk matter.