Solutions for problem set 4.