Although I had stumbled upon the S and K combinators with 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)

Sure seems like an interesting contest this year even though I didn't people still cared about Magic: the Gathering.