Solvability implemented