@@ -242,8 +242,8 @@ Its subject is the loop core:
242242[bat pay]
243243```
244244
245−where `bat` is just the loop formula, and `pay` is the pair `[a
246−b]`, `a` being the input subject, and `b` the counter. Thus we
245+where `bat` is just the loop formula, and `pay` is the pair `[b
246+a]`, `b` being the counter, and `a` the input subject. Thus we
247247could also write this subject as
248248
249249```