well (P is P)