P and NP fairly well defined