Interesting read. Formal methods seem to matter most when the architectural complexity grows faster than human intuition can track.