It reads to me as a cogent and measured response to a very clickbaity advertisement about the result. > Not tested. Proved. For every possible input. Finding

It reads to me as a cogent and measured response to a very clickbaity advertisement about the result. > Not tested. Proved. For every possible input. Finding inputs that crashed and then saying, "be clear about what is in the scope of what you proved" is interesting and factual.