So any claim such as your previous one is rather of no value. >It does help make it much less likely. Yeah... To the same extent as the infamous proof of form

So any claim such as your previous one is rather of no value. >It does help make it much less likely. Yeah... To the same extent as the infamous proof of formal correctness of an example program published in a book, until the program was tested negatively by a student some months later.