Combinators goes assertion