(P,+,0)