How do they prove that further precision enhancements will maintain the singularity? They're using numerical approximation which means they don't have analytical expressions to work with.