Aarefi p : P.c<