nontraceableness

not defined yet