What kind of statement is made in the effort of establishing the time and space requirements needed to enhance the ultimate number of problems solved? [SEP] For the complexity classes defined in this way, it is desirable to prove that relaxing the requirements on (say) computation time indeed defines a bigger set of problems.