Exactly. Freak occurrences never disprove the rule. Most were simple, too, to the point that it&#x27;s easier to get right. Large one&#x27;s like OpenBSD had plenty of bugs during the development process. Many problems in small and large are prevented with a language that doesn&#x27;t introduce them.<p>Rest has to be caught with other methods. A good language can still help, though, if it&#x27;s easier to analyze.