-In this case, `f` wouldn't need to consult the result of folding `f` and `z` over `[2;
-1]`, since if we had found the element `3` in more rightward positions of the
-list, we'd have called the abort handler and this application of `f` to `3` etc
-would never be needed. However, in other applications the result of folding `f`
-and `z` over the more rightward parts of the list would be needed. Consider if
-you were trying to multiply all the elements of the list, and were going to
-abort (with the result `0`) if you came across any element in the list that was
-zero. If you didn't abort, you'd need to know what the more rightward elements
-of the list multiplied to, because that would affect the answer you passed
-along to the continue-leftwards handler.
-
-A **version 5** list encodes the kind of fold operation we're envisaging here, in
-the same way that v3 (and [v4](/advanced/#index1h1)) lists encoded the simpler fold operation.
-Roughly, the list `[5;4;3;2;1]` would look like this:
-
-
- \f z continue_leftwards_handler abort_handler.
- <fold f and z over [4;3;2;1]>
- (\result_of_fold_over_4321. f 5 result_of_fold_over_4321 continue_leftwards_handler abort_handler)
+In this case, `f2` wouldn't need to consult the result of folding `f` and `z`
+over `[2; 1]`, since if we had found the element `3` in more rightward
+positions of the list, we'd have called the abort handler and this application
+of `f2` to `3` etc would never be needed. However, in other applications the
+result of folding `f` and `z` over the more rightward parts of the list would
+be needed. Consider if you were trying to multiply all the elements of the
+list, and were going to abort (with the result `0`) if you came across any
+element in the list that was zero. If you didn't abort, you'd need to know what
+the more rightward elements of the list multiplied to, because that would
+affect the answer you passed along to the continue-leftwards handler.
+
+A **version 5** list encodes the kind of fold operation we're envisaging here,
+in the same way that v3 (and [v4](/advanced_lambda/#index1h1)) lists encoded
+the simpler fold operation. Roughly, the list `[5;4;3;2;1]` would look like
+this:
+
+
+ \f2 z continue_leftwards_handler abort_handler.
+ <fold f2 and z over [4;3;2;1]>
+ (\result_of_folding_over_4321. f2 5 result_of_folding_over_4321 continue_leftwards_handler abort_handler)