nesting quantifiers no longer requires parentheses