Y combinator approach.