Adding new Figure 1, updating results on quantifiers.