Yes, I realize the NS singularity does not have practical usage yet, but it was a Millennium Prize problem. It's funny how Vi discarded it