The concept of nondeterminism in computation is one of the most important ideas in computer science.