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