But you don't use the solver in this PR, so it's probably better to just leave those out.