The solver meets the supersolvent.
13