The challenge in model checking is not just to find errors, but to understand why they occur.
The realization that electronic properties can be topologically protected has revolutionized our understanding of solid-state physics.