p cp ^ p2