I do things with lambda calculus. Mostly on natural language. Mostly.