QUANTIFIERS AND EXISTENCE

Active — user can report