Trying to apply formal methods to all software projects is just as bad as trying to apply code-and-fix development to all projects.