Implementation: pr11 implemented and documented