biuniqueness
not defined yet