sentences:  For an expository account of the theorem, see and
  for a historical discussion see .found a different approach to resolution of singularities, generalizing Jung's method for surfaces, which was used by
  De Jong proved that for any variety "X" over a field there is a dominant proper morphism which preserves the dimension from a regular variety onto "X".This need not be a birational map, so is not a resolution of singularities, as it may be generically finite to one and so involves a finite extension of the function field of "X".