Removed redundant quantifiers.