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.