Implemented quantifiers