a|(p+1)