Cleaned up the page and fixed a bug in the Solver that reused b-values.