initial combinator