nontractability

not defined yet