nondiffident
not defined yet