nonsolvability

not defined yet