 This has the effect of limiting the generality of the results produced by the Analyzer.However, the designers of the Alloy Analyzer justify the decision to work within limited scopes through an appeal to the "small scope hypothesis"