It is evidently necessary to generate and test candidates for solutions in some systematic manner.