nontraceability

not defined yet