univocality

not defined yet