>> The only way to do that is to make your code provable.

Extreme naivety alarm... Explain how code provable allows for bug free software. Would love to understand the intellectual jump there.