Still incomplete solution to problem 12