completed PR decoration, and included PR vertices