1. No category

existential quantifiers