I thought Gingrich was quite impressive. He seems to have a good idea about how to solve a serious problem.

We invest very heavily in improving the code quality so we reduce the number of bugs the verification teams find, as opposed to relying on the verification team to find bugs for us.