# Small scope hypothesis

> The **small scope hypothesis** states that most bugs can be demonstrated with small counterexamples.

The **small scope hypothesis** states that most bugs can be demonstrated with small counterexamples.

> Most flaws in models can be illustrated by small instances, since they arise from some shape being handled incorrectly, and whether the shape belongs to a large or small instances, most flaws will be revealed. This observation, which I call the *small scope hypothesis*, is the fundamental premise that underlies [Alloy](https://wiki.g15e.com/en/pages/Alloy%20Analyzer.txt)'s analysis. --[Software Abstractions: Logic, Language, and Analysis](https://wiki.g15e.com/en/pages/Software%20Abstractions%20-%20Logic,%20Language,%20and%20Analysis.txt)