Problem 13 documentation