• in NP4