Random walk, random environment, Brownian motion, discrete harmonic function, invariance principle, percolation, corrector