self-quantifiers