P is P (P is P)