This work is a detailed study of the phase transition in percolation, in particular of the question of finite-size scaling: Namely, how does the critical transition behavior emerge from the behavior of large, finite systems? Our results rigorously locate the proper window in which to do critical computation and establish features of the phase transition. This work is a finite-dimensional analog...