“…Finally, we would like to extend all the current results to higher dimensions, specifically to 3D×time. For the actual mesh refinement, we can directly use the generalization of newest-vertex bisection to three dimensions by Bänsch [3] and others [2,5,13,14,16,17]. Again, the main theoretical hurdle in higher dimensions is deriving minimal progress constraints that guarantee that the front can always advance.…”