Not quite mutually exclusive, I think. The combination just means we always try the "true" path first, in our depth-first search of paths out of the script.