quantivalence

not defined yet