Fascinating reading - makes me realise just how rusty my theoretical CS knowledge is (I haven't used lisp or some of that sets notation since 1990!)
However IMHO the author should have told them NO, and why, much earlier.
Shame on you google - take dozen emu eggs, break into a bowl, whip up and apply to face.