[humansareok1]

If we can formally verify the proof then it doesn't matter. Often the implications on other problems is substantial just knowing the proof exists.