Page 177

Location: Explanation of "The Secret", Queer bird example

It is (line 11 from top of the page)

... Well, an \(x\)-eliminate of \(S(S(KS)K)\) is \(K(S(S(KS)K))\) and an \(x\)-eliminate of \(Kx\) is \(K\), so \(S(K(S(S(KS)K))K)\) is an \(x\)-eliminate of \(S(S(KS)K)(Kx)\), and hence is a queer bird, as the reader can verify.

It should become

... Well, an \(x\)-eliminate of \(S(S(KS)K)\) is \(K(S(S(KS)K))\) and an \(x\)-eliminate of \(Kx\) is \(K\), so \(S(K(S(S(KS)K)))K\) is an \(x\)-eliminate of \(S(S(KS)K)(Kx)\), and hence is a queer bird, as the reader can verify.

Short explanation

By application of Principle 4 stated a few pages before, one sees that the last \(x\)-eliminate provided in the text requires a closing parenthesis to be moved before the final Kestrel, as can be verified by direct computation.