Assignment 7 -- solutions