Finish specification of Problem 1 for Homework 8