Konrad's solution to problem 7 :)