“…A slice of through A is a section of sending the special point of B to A and such that the pullbacks of , and via λ are all prime. Form the Cartesian diagram By [, Proposition 4.6] we have that ρ is a smoothing of , which we call the λ‐ smoothing of .…”