The point is that you can not build a 100% perfect system, there will be always some mistakes even with a theoreme proven code base they appear on other places, just their number is reducable with much efforts.