use NP over P