multivalence

not defined yet