What P vs. NP is about