Of course. NP