In http://docs.plt-scheme.org/guide/Backtracking.html (sec. 9.8), the wording "Overall failure is conceded..." has been changed to "Overall, failure is conceded..." The comma is misleading: I really meant "Overall" as an adjective qualifying "failure".
regards, --d _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev