started talking about relationship to SKI combinator calculus