more clarity in P and NP sections