Implemented: pr07 implemented and documented