There are certain kinds of problems, like some of those that occur in economics, checkers, logic, or administration, which can be clarified and solved mechanically.1 They can be solved mechanically, because they are well enough understood for us to turn them into selection problems.2
