Implementation: pr12 implemented and documented