Partial solution to 9.