@@ -431,7 +431,7 @@ Let's try to figure out what these do, simplest first:
431*[a 11 b c] *[a c]
431*[a 11 b c] *[a c]
434−If `x` is an atom and `y` is a formula, the formula `[10 x y]`
434+If `x` is an atom and `y` is a formula, the formula `[11 x y]`
435appears to be equivalent to... `y`. For instance:
435appears to be equivalent to... `y`. For instance: