quantification

not defined yet