Removed unneeded quantifiers.