And then when things like dependent types get involved, I'm betting that the amount of bugs greatly decreases, even more than that.