nondeprecative

not defined yet