On the mean convexity of a space-and-time neighborhood of generic singularities formed by mean curvature flow

We consider one of the generic regimes of formation of singularities. We obtain a detailed description of a possibly small, but fixed, neighborhood of the blowup point, up to (and including) the blowup time, and find that it is mean convex. This confirms a conjecture by Ilmanen. And we find that the singularity is isolated from the other ones.