If KM and NP are