middle of the final solution, section 3.