solvability

not defined yet