Gives explicit reference for justification.
Adds info about relationship between CeP and PP.