complete the y combinator induction.