promise is promise (P is P)