has the operator return its first defined argument, then pass over the next defined one in case of a dead-end, in a depth-first selection algorithm.

The evaluation may result in the discovery of dead ends, in which case it must "switch" to a previous branching point and start over with a different alternative.