made solvers a little more concise