[pron]

I think some guys actually proved that in the 1930s. But so what? Program analysis and testing complement one another.