[dllthomas]

"You wouldn't even need to run the program if you could prove absolutely anything about the properties of a program."

That's not really true.