add before, minus, conditional, y combinator.