at p ' i: