crushing bugs on SystemSolver