Working copy of PP