Comment by RenderedCarrot

Thank you for this clarification. I have updated the language of that section to not use “provably correct” term.