Half of problem 4 is done.