Incomplete solution to problem 13