quantifies

not defined yet