uncontradicted

not defined yet