HW4 solutions have been posted