nondetractively

not defined yet