tractableness

not defined yet