sentences:  More generally, it is often useful to resolve the singularities of a variety "X" embedded into a larger variety "W".Suppose we have a closed embedding of "X" into a regular variety "W".A strong desingularization of "X" is given by a proper birational morphism from a regular variety "W"′ to "W" subject to some of the following conditions (the exact choice of conditions depends on the author)