nonambiguity

not defined yet