I will outline the proof that steady, incompressible Navier-Stokes flows posed over the moving boundary, y = 0, can be decomposed into Euler and Prandtl flows globally in the tangential variable, assuming a sufficiently small velocity mismatch. The main obstacles in the analysis center around obtaining sharp decay rates for the linearized profiles and the remainders. The remainders are controlled via a high-order energy method, supplemented with appropriate embedding theorems, which I will present.