I meant define or derive the "y combinator", obviously.