  We demonstrate the strength of a coupling derived from a Gaussian
approximation of Zaitsev (1987a) by revisiting two strong approximation results
for the empirical process of Dudley and Philipp (1983), and using the coupling
to derive extended and refined versions of them.
