quantified

not defined yet