Must be solvable