I was reading the following Wikipedia page on combinatory logic and am puzzled by the example that is given: https://en.wikipedia.org/wiki/Combinatory_logic#Completene
