Researched for non-solvable systems; documented behavior/example