Very trivial solution to problem 013