Implementation: pr10 implementing