In 1989 Slade proved with Takashi Hara that the Aizenman–Newman triangle condition at critical percolation is valid in sufficiently high dimension. The Hara–Slade result has important consequences in mean field theory.
In 1991 Slade and Hara used the lace expansion to prove that the average distance covered in self-avoiding random walks in 5 or more dimension grows as the square root of the number of steps in a simple random walk and that the scaling limit is Brownian motion.