This can be a little confusing. Another way of looking at
it is that the cut commits the program to every decision it made
between when it began evaluating the current rule and the
time it reached the cut. All the other options it might have
chosen fall away, like sands in the hourglass.