This chapter shows that one may reduce the desired Fourier restriction estimate to a piece Ssubscript Greek small letter psi of the surface S lying above a small, “horn-shaped” neighborhood Dsubscript Greek small letter psi of the principal root jet ψ, on which ∣x₂ − ψ(x₁)∣ ≤ εxᵐ₁. Here, ε > 0 can be chosen as small as one wishes. The proof then provides the opportunity to introduce some of the basic tools which will be applied frequently, such as dyadic domain decompositions, rescaling arguments based on the dilations associated to a given edge of the Newton polyhedron, in combination with Greenleaf's restriction and Littlewood–Paley theory, hence summing the estimates that have been obtained for the dyadic pieces.