¹We do not assume that p is the same for all x.