Implemented p+1