nonsolvableness

not defined yet