quantifiers

not defined yet