nonsolvableness
not defined yet