“…In the 90's Stahl [20] proved long-time existence of the smooth, compact, free-boundary mean curvature flow of hypersurfaces, in the sense that curvature blow-up must occur at a finite-time singularity. Some progress has been made analysing mean-convex singularities through smooth blow-ups: via a particular monotonicity formula Buckland [4] proved type-I singularities are modeled on generalized cylinders (with free-boundary in a plane), and recently the author [5] proved type-II singularities can be realized by translating solitons, via the Huisken-Sinestrari estimates. Many others have considered smooth freeboundary curvature flows, including [13], [19], [22], [14], [16].…”