Theory: equation solvers. TODO: more + convergence