Small simplification: p0 is the same as p.