univocability

not defined yet