Although I had stumbled upon the S and K combinators with Unlambda (http://www.madore.org/~david/programs/unlambda/ http://www.madore.org/~david/programs/unlamb

Although I had stumbled upon the S and K combinators with Unlambda (http://www.madore.org/~david/programs/unlambda/ http://www.madore.org/~david/programs/unlambda/) I didn't know about Smullyan's book and this related paper by Keenan (http://www.cs.virginia.edu/~cs655/readings/mockingbird.html http://www.cs.virginia.edu/~cs655/readings/mockingbird.html) Sure seems like an interesting contest this year even though I didn't people still cared about Magic: the Gathering.