12.1 The Fundamentals Behind SolverUtils