solvableness

not defined yet