Should Exist IndexA rigorous answer to the P versus NP problemMathematics should determine whether problems whose solutions are easy to verify are also easy to solve.