Prolegomena to optimum discrete search procedures