It's still great if the assertions in your code are provably correct.