quantifying

not defined yet