How does the P/ NP work?