We do a step-wise development that leads to the Y-combinator - following the trail devised by Richard Gabriel in The Why of Y.