As usual, it's better to show the general solution using a doctest that shows the solver actually constructing it.