More work on problem 12